]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a823c60) | patch
Use lablgladecc -embed again
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 20 Dec 2018 22:12:36 +0000 (23:12 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 20 Dec 2018 22:12:36 +0000 (23:12 +0100)
commit2b9f8373fa1d5eaecb3998a8ba934b66d852bf10
tree6d02ccd463b33626d04a3b74b4b8639fd62c9a2dtree | snapshot
parenta823c605d3a541c8d7df2bcc3c21bf459c9d25c4commit | diff
Use lablgladecc -embed again
matita/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.