]> matita.cs.unibo.it Git - helm.git/commit
Error message updated.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 14:32:08 +0000 (14:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 14:32:08 +0000 (14:32 +0000)
commit698fffd5d37fbb7fc69faab9da5aa0c5fa247588
treeffa5f752f3fd17038935cb2be1750c4580e4cdbd
parent74def16e00f2e87779c4002351437515271cc3ee
Error message updated.
helm/scripts/makeit