diff options
| author | Michael Muré <batolettre@gmail.com> | 2020-01-04 13:10:53 +0100 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2020-01-04 13:11:29 +0100 |
| commit | ee48aef489c91a99b665ab1cd783e241611a3841 (patch) | |
| tree | eb8f9567bcb621f45777f2b6de675956766285c9 /webui/.gitignore | |
| parent | a785bcdad6296b3babeb62ef3e91d66450730244 (diff) | |
| download | git-bug-ee48aef489c91a99b665ab1cd783e241611a3841.tar.gz | |
github: warning when the comment to be edited is missing instead of failing
fix #286
Diffstat (limited to 'webui/.gitignore')
0 files changed, 0 insertions, 0 deletions