Mercurial > cpdt > repo
comparison .hgignore @ 542:f874c163f5e0
Mention _CoqProject
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 Oct 2015 12:49:58 -0400 |
parents | ed829eaa91b2 |
children | af97676583f3 |
comparison
equal
deleted
inserted
replaced
541:429e95d23b26 | 542:f874c163f5e0 |
---|