]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4998de) | patch
Patch to make it work with new versions of lablgtk2
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Dec 2017 20:49:49 +0000 (21:49 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Dec 2017 20:49:49 +0000 (21:49 +0100)
commitc6d23a9f4cb8c4c3250e4ee7b35ee374a6b22144
treeb4adbec850b682385ba454338d347abdb5eef904tree | snapshot
parenta4998de03fae0f36cde8abf17f45ea115845e849commit | diff
Patch to make it work with new versions of lablgtk2
helm/software/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.