]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a985051) | patch
make dist repaired
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 27 Dec 2018 13:02:54 +0000 (14:02 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 27 Dec 2018 13:02:54 +0000 (14:02 +0100)
commitbf2d6f1329c768da48bfeba7b6937566328566b0
treeb15402c7e623e0f94c01187a60af504e9bf797f1tree | snapshot
parenta9850517820569525e0fe4c5b5c325e446cd2e6dcommit | diff
make dist repaired

- svn export => git archive
matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.