diff options
author | Erich Eckner <git@eckner.net> | 2020-02-19 09:38:37 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-02-23 21:00:11 +0100 |
commit | d83edfebf88f4aa3c75f4335d49ccbca7d09d0e8 (patch) | |
tree | e3ec20f94547b64343d9474ee64af4ece178c00c /.gitignore | |
parent | cb6484fe4538e34490a44661d8579c370cccea0b (diff) | |
download | devtools32-d83edfebf88f4aa3c75f4335d49ccbca7d09d0e8.tar.xz |
allow PKGEXT to be set from the environment
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions