~amiloradovsky/symbolic-dynamics

symbolic-dynamics/.gitignore -rw-r--r-- 138 bytes View raw
5857f238Andrew Miloradovsky .build.yml: continuous integration for SourceHut 7 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
*~
\#*\#
*.aux
*.glob
*.vo
*.v.d
.coqdeps.d
Makefile
Makefile.coq
Makefile.conf
Makefile.coq.conf
CoqMakefile.conf
.hg/
.hgignore
.pijul/