diff options
| author | André Nusser <anusser@mpi-inf.mpg.de> | 2021-02-13 12:25:50 +0100 |
|---|---|---|
| committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2021-08-09 19:24:06 +0200 |
| commit | 44e2039bd0a218c8c4d1b2ad93c6b4c3ba6360d9 (patch) | |
| tree | 07b3fede1a923fc184cc494635dabc0d6f0db30c /src/settings.h | |
| parent | 7b130b359e202e32d3044155b455666e7ae22100 (diff) | |
Small cleaning up and comment.
Diffstat (limited to 'src/settings.h')
0 files changed, 0 insertions, 0 deletions