]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 649a897) | patch
new kernel is compiled since the META of grafite_parser depends on the META of ng_dis...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 27 Nov 2008 10:34:26 +0000 (10:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 27 Nov 2008 10:34:26 +0000 (10:34 +0000)
commita8b95f91af568cfe587b3f05b9c111c6ebe8b0a8
tree17d27b7baf0e1c7c3be59bd574d64f0ffc4ad799tree | snapshot
parent649a897eeea9908ff6a438dcf6a6969894f9bd7fcommit | diff
new kernel is compiled since the META of grafite_parser depends on the META of ng_disambiguation
helm/software/components/Makefile diff | blob | history
helm/software/components/ng_disambiguation/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.