diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-11-14T13·04+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-11-14T13·04+0100 |
commit | 5ef5d70b5e3dec6abf72b22e531f527fff82b375 (patch) | |
tree | 2d7250e0cfe033b7cba4bdbb9b46a5785e591153 /src/libmain/shared.hh | |
parent | c9c3fc710ba6995b20e078523aa616323dc5759a (diff) |
Make config options available to legacy commands
Diffstat (limited to 'src/libmain/shared.hh')
0 files changed, 0 insertions, 0 deletions