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 /lib | |
| parent | 8bedb89fd67a3bf1ea72e1ac9cddd835b50714b1 (diff) | |
| download | devtools32-c5cd72c0858d0168022cf220dbee8dfe3b704a2f.tar.xz | |
Remove no longer used option
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions