From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 11 Jan 2008 19:13:29 +0000 (+0000)
Subject: removed path for contribs
X-Git-Tag: make_still_working~5676
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=fd3eb05be0d27238298a040c55e70128b735e2d4;hp=fd3eb05be0d27238298a040c55e70128b735e2d4;p=helm.git

removed path for contribs
---