Hi all,
I was browsing through $SAGE_ROOT/devel/sage/.hgignore and noticed that some specific filenames are mentioned which don't seem to exist in my installation of Sage (4.7.2.alpha3 built from source). Might these files come into being some time in the future if I install certain SPKGs or something, or are they cruft which should be removed from the .hgignore file? I notice the .hgignore file hasn't been changed since 2009, and hasn't been changed by any more than a few lines here and there since 2007, which makes me suspect the latter, but I'm not sure, hence this post.
-Keshav
----
Join us in #sagemath on
irc.freenode.net !