diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-03-18 09:34:08 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-03-18 10:34:23 -0700 |
| commit | 9177e0a44b61d285493ffeaef97cc729d0fdf532 (patch) | |
| tree | 992886e3f3a628189aab40842268be2965e98f15 /Documentation/user-manual_fr.html.git | |
| parent | 75668d69aa2809b733834ea5f6c55fc2331bbbcc (diff) | |
| download | subsurface-9177e0a44b61d285493ffeaef97cc729d0fdf532.tar.gz | |
build-system: LGTM: don't warn about short global names
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual_fr.html.git')
0 files changed, 0 insertions, 0 deletions