]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 578ba04) | patch
more files to ignore
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Jan 2018 20:15:00 +0000 (21:15 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Jan 2018 20:15:00 +0000 (21:15 +0100)
commit8e613bb927e9f70ad274e89edd10babda2a678cf
tree4ba9bfe0b49db7ea887a39923720145f7941b7a0tree | snapshot
parent578ba04e1a0812f538729fbc02ea38d2cfd0ed3ecommit | diff
more files to ignore
.gitignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.