diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2012-06-11 23:44:30 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2012-06-11 23:44:30 +0200 |
commit | c5cd72c0858d0168022cf220dbee8dfe3b704a2f (patch) | |
tree | 957e133a967c47e4ff648aba76ede458e1615942 /bash_completion.in | |
parent | 8bedb89fd67a3bf1ea72e1ac9cddd835b50714b1 (diff) | |
download | devtools32-c5cd72c0858d0168022cf220dbee8dfe3b704a2f.tar.xz |
Remove no longer used option
Diffstat (limited to 'bash_completion.in')
0 files changed, 0 insertions, 0 deletions