]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5ade52) | patch
Modified Files:
authorLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 16:52:34 +0000 (16:52 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 16:52:34 +0000 (16:52 +0000)
commitad59795bcfe0b77c6df796aac5d36cb0d2f6b2e7
treed85f2d056bc78e209175cdf7a1809e5829ac6f37tree | snapshot
parente5ade526fa5f69e1829e81c68449e226e0af97bacommit | diff
Modified Files:
  isterix new helm configuration
helm/xsltd/isterix diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.