diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-16 15:52:04 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-29 09:02:49 +0200 |
| commit | 472b0e98a87c9fc942db930a4d5c3f34a88d2169 (patch) | |
| tree | c0902d5d62f55370ca973d4138829b267a393e4a /.gitignore | |
| parent | 75cd26b393b4dc5903a3894c34ac2287b6ae4d5b (diff) | |
| download | devtools32-v20180528.tar.xz | |
revert eab5aba9b027a7689acaf2382a04ff69b5b8771e - it does not work with sudo-1.8.23-1v20180528archlinux32/v20180528
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions