diff options
| author | Filippo Valsorda <filippo.valsorda@gmail.com> | 2012-08-01 17:26:50 +0200 |
|---|---|---|
| committer | Filippo Valsorda <filippo.valsorda@gmail.com> | 2012-08-01 17:26:50 +0200 |
| commit | ce7b2a40d04de1eadd5b81910ad374fee8db268d (patch) | |
| tree | 5519fa77dd78331eaa49d33a1c53f16a6109a277 /devscripts | |
| parent | cfcec693315c7f463c9364fd8b9d96f6e090f439 (diff) | |
added automatically generated bash-completion; closes #191
Diffstat (limited to 'devscripts')
0 files changed, 0 insertions, 0 deletions