]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 15:25:15 +0000 (15:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 15:25:15 +0000 (15:25 +0000)
commit6fdbcbdb9f393020bef2357778d4501057467286
treef38ddbb374cc8b7b7744ef1f824238bb7017cd6d
parent6c384ea974e161acb78eaa7fcea87950f801fd0b
...
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/.depend.opt