diff options
| author | Hristo Venev <hristo@venev.name> | 2020-02-04 23:52:59 +0100 |
|---|---|---|
| committer | Hristo Venev <hristo@venev.name> | 2020-02-04 23:52:59 +0100 |
| commit | ca4eddd56712a5b7984395601b63dd79e7a8abd6 (patch) | |
| tree | 1d37d54a6cc8ade714c6a246b6ea952dc5ffec1c /man/Makefile | |
| parent | 3744b8d130788f8b56d8eb6763586e89eb9a0647 (diff) | |
Add source.allow_road_warriors option.
Diffstat (limited to 'man/Makefile')
0 files changed, 0 insertions, 0 deletions