index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.hgignore
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
(limited to '.hgignore')
-rw-r--r--
.hgignore
4
1 files changed, 4 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore
index 4e578224..c0222189 100644
--- a/
.hgignore
+++ b/
.hgignore
@@ -33,3 +33,7 @@ demo/demo.*
*.pdf
*.ps
*.toc
+
+.depend
+Makefile.coq
+*.vo