From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 25 Feb 2002 10:42:44 +0000 (+0000)
Subject: Some clean-up (unuseful sed removed from Makefile).
X-Git-Tag: V_0_3_0_debian_8~276
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e461bc9c5f94c8075c4806365e4db495b530f9fc;hp=e461bc9c5f94c8075c4806365e4db495b530f9fc;p=helm.git

Some clean-up (unuseful sed removed from Makefile).
---