]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36d84ee) | patch
no more assembly/ to skip
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 15:32:47 +0000 (15:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 15:32:47 +0000 (15:32 +0000)
commitfd3fd1d9e91e1975853a3942aad626f1522c8374
treeb1f69394ebadc2294e23932d6dd71f55ca3f11e1tree | snapshot
parent36d84ee0f884c2a4efb77fccf052fba1d5843528commit | diff
no more assembly/ to skip
helm/software/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.