diff options
| author | Paul B Mahol <onemda@gmail.com> | 2020-03-17 20:06:11 +0100 |
|---|---|---|
| committer | Paul B Mahol <onemda@gmail.com> | 2020-03-17 20:06:11 +0100 |
| commit | 9a2d950f96d733bbf430d323cc422ce2c20dd1fd (patch) | |
| tree | cfd8f9d789230dfba1dbd7939f5b51c16f54d44b /doc/optimization.txt | |
| parent | 9f75d33ac3b872a5f023271af42eb40992060cff (diff) | |
doc/general: remove dupe entry and fix section
Diffstat (limited to 'doc/optimization.txt')
0 files changed, 0 insertions, 0 deletions