diff options
| author | jvoisin | 2017-10-13 15:40:58 +0200 |
|---|---|---|
| committer | jvoisin | 2017-10-13 15:40:58 +0200 |
| commit | a081d0ddea4103c1772378870a005267a7bce332 (patch) | |
| tree | dca68b1e66899239a7528a06e64cab70b9a7620a /src/bench | |
| parent | 5969073a80b18b2c21e7c2b1c2c3cdedff618b21 (diff) | |
Improve the doc wrt. the Debian package
- Fix two minor warnings
- Improve the documentation
Diffstat (limited to 'src/bench')
0 files changed, 0 insertions, 0 deletions