]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c06d7ae) | patch
added comment about missing checks
authorLuca Padovani <luca.padovani@unito.it>
Mon, 12 Feb 2001 08:28:26 +0000 (08:28 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 12 Feb 2001 08:28:26 +0000 (08:28 +0000)
commit3b4df62d0cbef14154be151f18aeb68ea100d699
tree38f4f2a4ebc33c7dec4f40bf77686aacd1c756d6tree | snapshot
parentc06d7ae216653045f6c4f2cc6ca5198e35003ab1commit | diff
added comment about missing checks
helm/interface/configure.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.