diff options
| author |  wm4 <wm4@nowhere> | 2017-08-08 15:54:51 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2017-08-08 15:54:51 +0200 |
| commit | f7fb6e186ad7f9ed22ccb016a5a0bfe52c2ebe0f (patch) | |
| tree | 5f04b6749160d9e4119384eb1842b445e90dc2b4 /misc | |
| parent | 0e36b77aae1ac2af68a45db07d4ff09d9f6dcb30 (diff) | |
options: fix --include
This is really obnoxious. --include parses into the default profile, but
when used on the command line, it did never get applied. So we have to
apply it when the exact conditions for this are met.
Fixes #4673.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions