diff options
| author | Michael Vogt <mvo@ubuntu.com> | 2014-04-07 16:40:12 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@ubuntu.com> | 2014-04-07 17:06:27 +0200 |
| commit | 01837669afa740b594d2075661dc9faa3ab6fe43 (patch) | |
| tree | b3664075f1636f3a39304912ea5c58785a911d4f /doc/makefile | |
| parent | 62f1ee1cc7a5e16ca0cbfbee3c00cefab1892f87 (diff) | |
make apt search case-insensitive by default
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions