Certificates

Author	nicolas.boulenguez@free.fr
Branch	net.prjek.mtn-host.libgmpada
Changelog	Makefile: marked build targets as PHONY, gnatmake knows better if a file needs recompilation.
Date	2010-01-16T23:04:10

Revision Details

Oldrevision	Old revision is: [60fc4a6c..] (diff)
Patch	Patch file Makefile (diff)