]> matita.cs.unibo.it Git - helm.git/commit - .gitignore
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3a143f) | patch
added .gitignore
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2017 18:09:36 +0000 (19:09 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2017 18:09:36 +0000 (19:09 +0100)
commit93d49b4722d323a801b07f90eedc8fbe59c3917b
treee92387e002c381f9dbee4d6bf4f767cfbab4b3d0tree | snapshot
parentd3a143f3edce2a255c449526e0ecf85435a6bad4commit | diff
added .gitignore

OCaml special files ignored
.gitignore [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.