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 /lib/common.sh | |
parent | 75cd26b393b4dc5903a3894c34ac2287b6ae4d5b (diff) | |
download | devtools32-472b0e98a87c9fc942db930a4d5c3f34a88d2169.tar.xz |
revert eab5aba9b027a7689acaf2382a04ff69b5b8771e - it does not work with sudo-1.8.23-1v20180528archlinux32/v20180528
Diffstat (limited to 'lib/common.sh')
0 files changed, 0 insertions, 0 deletions