| commit | 8042e1c9abd318fc4838af8976e979b8a5d57f9d | [log] [tgz] |
|---|---|---|
| author | Bart De Schuymer <bdschuym@pandora.be> | Tue Dec 30 17:42:30 2003 +0000 |
| committer | Bart De Schuymer <bdschuym@pandora.be> | Tue Dec 30 17:42:30 2003 +0000 |
| tree | 5c28474dccf1a82fff850a3fc33ea01e74772436 | |
| parent | 1e9aca96de9c9989d9578ddeece0069832cb6575 [diff] |
Riccardo Murri <murri_at_dmmm.uniroma1.it> add DESTDIR option