1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-25 10:41:16 +02:00

Config::handleUnknownSettings(): Remove unused 'fatal' argument

This commit is contained in:
Eelco Dolstra 2018-02-19 14:00:34 +01:00
parent 75a1d96cfd
commit ed73d40c3b
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE
2 changed files with 3 additions and 6 deletions

View file

@ -60,7 +60,7 @@ public:
void addSetting(AbstractSetting * setting);
void handleUnknownSettings(bool fatal = false);
void handleUnknownSettings();
StringMap getSettings(bool overridenOnly = false);