Mercurial > cpdt > repo

diff .hgignore @ 574:1dc1d41620b6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Builds with Coq 8.15.2
author Adam Chlipala <adam@chlipala.net>
date Sun, 31 Jul 2022 14:48:22 -0400
parents a913f19955e2
children
line wrap: on
line diff
--- a/.hgignore	Sun Feb 02 10:51:18 2020 -0500
+++ b/.hgignore	Sun Jul 31 14:48:22 2022 -0400
@@ -42,3 +42,4 @@
 *.out
 src/.coq-native
 .coqdeps.d
+*.cache