]> matita.cs.unibo.it Git - helm.git/commit
ignore usual *tex crap
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 15:44:32 +0000 (15:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 15:44:32 +0000 (15:44 +0000)
commit86b3b952b7e5fd7dce4fa38d22c42676c19b0f3d
treedcec4571eb2b7e1d5e83a1bcab581ce527e1f2be
parent79b5120994ea0d65dd5052ad4c8f7bb51d9d0875
ignore usual *tex crap
helm/ocaml/cic_notation/doc/.cvsignore [new file with mode: 0644]