diff options
author | Mike Frysinger <vapier@gentoo.org> | 2004-11-30 02:00:26 +0000 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2004-11-30 02:00:26 +0000 |
commit | 382e73dff6f3a41017fa0c4444540025e97e7584 (patch) | |
tree | 62ecae90bf5924970704ef625bab25f2a610574a /dev-ada | |
parent | Fix makefile to use DESTDIR #72413. (diff) | |
download | gentoo-2-382e73dff6f3a41017fa0c4444540025e97e7584.tar.gz gentoo-2-382e73dff6f3a41017fa0c4444540025e97e7584.tar.bz2 gentoo-2-382e73dff6f3a41017fa0c4444540025e97e7584.zip |
Fix makefile to use DESTDIR #72413. (Manifest recommit)
Diffstat (limited to 'dev-ada')
0 files changed, 0 insertions, 0 deletions