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.
reverted cb17feba74e0, avoid sweeping garbage under the carped (MaSh should not create .pyc files anymore, see also 778b2b8f4a35, 347f743e8336);
authorwenzelm
Sat, 25 Jan 2014 16:55:52 +0100
changeset 55138 2fa86fa27a0f
parent 55137 6cac9fbf9b79
child 55139 4d899933a51a
reverted cb17feba74e0, avoid sweeping garbage under the carped (MaSh should not create .pyc files anymore, see also 778b2b8f4a35, 347f743e8336);
.hgignore file | annotate | diff | comparison | revisions 
--- a/.hgignore	Sat Jan 25 16:46:39 2014 +0100
+++ b/.hgignore	Sat Jan 25 16:55:52 2014 +0100
@@ -5,7 +5,6 @@
 *.jar
 *.orig
 *.rej
-*.pyc
 .DS_Store
 .swp
isabelle