diff options
| author | Julian Andres Klode <jak@debian.org> | 2018-12-26 12:40:06 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2018-12-26 21:24:20 +0100 |
| commit | 6018a849f46c7f701adbc4c2474de0b1177f3711 (patch) | |
| tree | 6b325fad4156d706b557bce2d06938bf41cf00f1 /COPYING.GPL | |
| parent | 37ae749b20485b6c8237d5b5a08cfdd58a2364e1 (diff) | |
configuration: Compare size first during lookup
Diffstat (limited to 'COPYING.GPL')
0 files changed, 0 insertions, 0 deletions