]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 348f167) | patch
added config.ac to the tarball for debian packages
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 May 2016 09:24:59 +0000 (09:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 May 2016 09:24:59 +0000 (09:24 +0000)
commit081c038388b2822d4755a110d444f13afad97165
treea0f8a91cc9ce62b416cc08a8ea4eb681ee4d6dd0tree | snapshot
parent348f1670b30f52db99187b2e92b45348e18ebbbecommit | diff
added config.ac to the tarball for debian packages

Was it really required? I don't know but it worked like that before.
matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.