From: Enrico Tassi Date: Wed, 3 Apr 2013 10:35:37 +0000 (+0200) Subject: remove Makefile X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9b043ecce5efa63c7c58ef957027e094d98d16a6;hp=9b043ecce5efa63c7c58ef957027e094d98d16a6;p=pkg-cerco%2Fframa-c-cost-plugin.git remove Makefile ---