diff options
| author | Erich Eckner <git@eckner.net> | 2020-02-19 09:38:37 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-04-08 08:45:23 +0200 |
| commit | a347c0358bb7c9962750602ebe0b7311ee66fb4e (patch) | |
| tree | 1c33d2edddf7eaa01867749e05894d36fc0fb0b4 /.gitignore | |
| parent | aff81d34fd072e978925a0ad5d04ea0978ce42ed (diff) | |
| download | devtools32-a347c0358bb7c9962750602ebe0b7311ee66fb4e.tar.xz | |
allow PKGEXT to be set from the environment
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions