2021-06-15 | Gereon Kremer | Remove public option wrappers (#6716) | blob | commitdiff | raw |
2021-06-08 | Gereon Kremer | Remove `binary_name` option (#6693) | blob | commitdiff | raw | diff to current |
2021-06-07 | Gereon Kremer | Remove `Options::wasSetByUser()` (#6682) | blob | commitdiff | raw | diff to current |
2021-06-06 | Gereon Kremer | Support public option modules (#6691) | blob | commitdiff | raw | diff to current |
2021-06-02 | Gereon Kremer | Move public wrapper functions out of options class... | blob | commitdiff | raw | diff to current |