]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c17dc58) | patch
use ledit for debugging
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 17:11:59 +0000 (17:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 17:11:59 +0000 (17:11 +0000)
commit67eafee21527f29a9b26fd1a7c518e0b49c24bf5
tree3ae2f3725e68287bfd4e247faa6d3dc154fca906tree | snapshot
parentc17dc580374628504e9c7fac7f59bd7ddf7d420ecommit | diff
use ledit for debugging
helm/gTopLevel/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.