diff options
| author | André Nusser <anusser@mpi-inf.mpg.de> | 2021-02-13 12:25:50 +0100 |
|---|---|---|
| committer | André Nusser <anusser@mpi-inf.mpg.de> | 2021-02-13 12:25:50 +0100 |
| commit | a7bd23a0744def7d3dc34779a789591589561097 (patch) | |
| tree | 99b6aca06b6cb55956a20b8e151a53ee0d8ce966 /src/settings.h | |
| parent | f520e84d8be8018556a93fcf4a894403be829423 (diff) | |
Small cleaning up and comment.
Diffstat (limited to 'src/settings.h')
0 files changed, 0 insertions, 0 deletions