diff options
author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-01-19 08:14:07 +0100 |
---|---|---|
committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-01-19 08:14:07 +0100 |
commit | 1f9b9d2e751332c944d98be366d39d8a69556187 (patch) | |
tree | 529905c4c8d4886954a2d71d8edf35ff448a7b1e /src/GudhUI/gui | |
parent | f76dcd1fe954b77e1d8af368b7fe75355f944a80 (diff) |
Doc review: reword confusing sentence
Diffstat (limited to 'src/GudhUI/gui')
0 files changed, 0 insertions, 0 deletions