diff options
author | Bart De Schuymer <bdschuym@pandora.be> | 2003-12-30 17:42:30 +0000 |
---|---|---|
committer | Bart De Schuymer <bdschuym@pandora.be> | 2003-12-30 17:42:30 +0000 |
commit | 8042e1c9abd318fc4838af8976e979b8a5d57f9d (patch) | |
tree | 5c28474dccf1a82fff850a3fc33ea01e74772436 /INSTALL | |
parent | 1e9aca96de9c9989d9578ddeece0069832cb6575 (diff) |
Riccardo Murri <murri_at_dmmm.uniroma1.it> add DESTDIR option
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions