diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-08-18 10:03:06 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-08-18 10:03:06 +0200 |
| commit | fbfd22e796997934a54e7be4f4307ee54bf7c13b (patch) | |
| tree | aa446e8435c5159283a17aa4007cd17a9e202423 /doc/files.dbk | |
| parent | d1fd09b982f6108dc32ec75330b0535236c48311 (diff) | |
Do not force -O2, should be fixed in ~rc2
Diffstat (limited to 'doc/files.dbk')
0 files changed, 0 insertions, 0 deletions