]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7adeb28) | patch
lablgtksourceview2 integrated into lablgtk2
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Sep 2014 09:09:16 +0000 (09:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Sep 2014 09:09:16 +0000 (09:09 +0000)
commit90f66e9412865f99e8fda2fd121456772b3e5b98
tree6672c5e8ec4aead2fcf16929df978ca338df3539tree | snapshot
parent7adeb2882d9841c0ab5b357f1652bd42800e77fccommit | diff
lablgtksourceview2 integrated into lablgtk2
matita/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.