Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Wed, 17 Aug 2022 11:57:13 +0200
changeset 75871 648fe09330f3
parent 75870 2bf1210eeef1
child 75872 8bfad7bc74cb
child 75884 3d8b37b1d798
tuned comments;
Admin/components/windows file | annotate | diff | comparison | revisions 
--- a/Admin/components/windows	Wed Aug 17 11:52:45 2022 +0200
+++ b/Admin/components/windows	Wed Aug 17 11:57:13 2022 +0200
@@ -1,2 +1,2 @@
-#additional components to be bundled for release
+#additional components for Windows platform
 sumatra_pdf-3.4.6
isabelle