diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-09-15 13:57:39 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-09-15 13:57:39 +0200 |
| commit | bcf2b6dbe64c789f5519db1ff715e995c7c67fda (patch) | |
| tree | b2d1ea1f0815cbc795e52b1e5fcc4a7471d45be4 /webui | |
| parent | 7bec0b1f134d213e7505fc2ac03ffea26f2193cc (diff) | |
| download | git-bug-bcf2b6dbe64c789f5519db1ff715e995c7c67fda.tar.gz | |
input: better help text for the query language
Diffstat (limited to 'webui')
0 files changed, 0 insertions, 0 deletions