author | DPorts Builder <nobody@home.ok> | |
Sat, 31 Oct 2015 10:07:18 +0000 (03:07 -0700) | ||
committer | DPorts Builder <nobody@home.ok> | |
Sat, 31 Oct 2015 10:07:18 +0000 (03:07 -0700) | ||
commit | 3399da32de98391aa83f38a87cdfe559b1009450 | |
tree | f3207d5ef102c212d991c6d8d28669e26ade9c9f | tree | snapshot |
parent | f974c16f10e4b6e4318335617813567dfca4cb3e | commit | diff |
lang/gnatdroid-armv7/Makefile | diff | blob | blame | history |