]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf4f7d9) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 9 Apr 2008 14:58:35 +0000 (14:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 9 Apr 2008 14:58:35 +0000 (14:58 +0000)
commitb9f1e090b5aad5a1f2429f0b49e0c1abe7a1cf79
treed406ea725cc787de008eebc4ca0eab47a8f18926tree | snapshot
parentbf4f7d923f1bcf1f07d5d4f46fc6f8e7bce4b578commit | diff
...
helm/software/components/ng_kernel/.depend.opt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.