diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-05-07 16:12:25 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-05-07 16:12:25 (GMT) |
commit | 3014f4f91f660dd7eaf80c5634c8ffa8fe3e95ec (patch) | |
tree | bfff4ee43cbb597a828ad01d1f95cc26c17ac811 /src/gui/panels | |
parent | 047965edc9e9cc8d05277eddb4639fd43169255b (diff) |
Fixed the usage message of the tool generating online documentation.
Diffstat (limited to 'src/gui/panels')
0 files changed, 0 insertions, 0 deletions