diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-07-20 15:57:21 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-07-20 15:57:21 +0200 |
| commit | 302a69bfc5c1de153455a813ef14c170452305f0 (patch) | |
| tree | 8900af02aef91d2fd23a7361afacbf4c66ffae61 /webui/src | |
| parent | e527c57fdd3931127e31a434e55c1dac16eb20b4 (diff) | |
| download | git-bug-302a69bfc5c1de153455a813ef14c170452305f0.tar.gz | |
use DisableAutoGenTag to not have to commit the documentation after each build
Diffstat (limited to 'webui/src')
0 files changed, 0 insertions, 0 deletions