log .hgignore

age author description
2012-05-03 Adam Chlipala Adaptations to ezyang's patch
2011-11-30 Adam Chlipala Update Coq semantics for 8.3pl2