Tweak lang/gnatdroid-armv7 version 20130412
authorDPorts Builder <nobody@home.ok>
Tue, 13 Aug 2013 10:09:51 +0000 (12:09 +0200)
committerDPorts Builder <nobody@home.ok>
Tue, 13 Aug 2013 10:09:51 +0000 (12:09 +0200)
commite0df88dd32b74433de55dcf1f99d95cdd4038be8
treeebe13cca541d32941c2486f20e2d9c8a917f6043
parent1e5058bf4c3c30e5e7b4bbf8471eb1e847e51f68
Tweak lang/gnatdroid-armv7 version 20130412
lang/gnatdroid-armv7/Makefile