]> matita.cs.unibo.it Git - helm.git/commit
...
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
treed406ea725cc787de008eebc4ca0eab47a8f18926
parentbf4f7d923f1bcf1f07d5d4f46fc6f8e7bce4b578
...
helm/software/components/ng_kernel/.depend.opt [new file with mode: 0644]