diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-04-13T18·53+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-04-13T18·53+0200 |
| commit | ba9ad29fdbfda3836bb06b35817f08fd10beaa22 (patch) | |
| tree | 565646143793af4e91ee88630e667bb7976e8686 /Makefile | |
| parent | 6bd9576aeb55927cb551736a47b4e8e3fd1063bb (diff) | |
Convert Settings to the new config system
This makes all config options self-documenting. Unknown or unparseable config settings and --option flags now cause a warning.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions