diff options
| author | louiz’ <louiz@louiz.org> | 2020-05-02 21:15:28 +0200 |
|---|---|---|
| committer | louiz’ <louiz@louiz.org> | 2020-05-02 21:15:28 +0200 |
| commit | 12feb1509ed25580a37f57963832c4c375c86c93 (patch) | |
| tree | 91f6d75dc8752c2b74e36f7f8ff2e82706b74d23 /doc/user.rst | |
| parent | 1833946c079c532b827c285570dda54e2e143462 (diff) | |
| download | biboumi-12feb1509ed25580a37f57963832c4c375c86c93.tar.gz biboumi-12feb1509ed25580a37f57963832c4c375c86c93.tar.bz2 biboumi-12feb1509ed25580a37f57963832c4c375c86c93.tar.xz biboumi-12feb1509ed25580a37f57963832c4c375c86c93.zip | |
Fix a compile error with gcc 10
Fix #3431
Diffstat (limited to 'doc/user.rst')
0 files changed, 0 insertions, 0 deletions