]> matita.cs.unibo.it Git - helm.git/commit
Some clean-up (unuseful sed removed from Makefile).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Feb 2002 10:42:44 +0000 (10:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Feb 2002 10:42:44 +0000 (10:42 +0000)
commite461bc9c5f94c8075c4806365e4db495b530f9fc
treed3ef2a0d1490b944a7d27f4bb42b44df4b759955
parent0d0b47b4a6dc53d8fa5504c25f6f7323f5e3aa1b
Some clean-up (unuseful sed removed from Makefile).
helm/mowgli/home/html/Makefile
helm/mowgli/home/templates/menu.html