]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 878b1a6) | patch
1777 (1 = sticky bit) for the library dir
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:12:50 +0000 (09:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:12:50 +0000 (09:12 +0000)
commita283b3eb427aea774c6b48e88d90e1bc49c9c778
tree9d46ff8ca9ef85797d2953a66316104b37d8ce84tree | snapshot
parent878b1a60478b48429028c97662ab7cb14bf5545fcommit | diff
1777 (1 = sticky bit) for the library dir
helm/configuration/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.