diff options
| author | Sheogorath | 2018-11-21 11:14:59 +0100 |
|---|---|---|
| committer | Sheogorath | 2018-11-21 11:17:59 +0100 |
| commit | fb46e188b8d8d481b5185e7974b62367582e38dc (patch) | |
| tree | 4dfb9d77ae1ce6298a0371da0e3883e8c2d0ce53 /public/css/github-extract.css | |
| parent | 2323d203b4fbeff87a2a8be3fc1c5f34c84120d3 (diff) | |
Fix typo in config.json.example
We recently added the new logging option. As it turns out, the new
option was not added correctly, which points out that our current json
linting is **not working**. It throws an error but doesn't break.
This patch fixes the typo in the example. It does not fix the CI part.
Signed-off-by: Sheogorath <sheogorath@shivering-isles.com>
Diffstat (limited to 'public/css/github-extract.css')
0 files changed, 0 insertions, 0 deletions