diff options
| author | Daniil Baturin <daniil@baturin.org> | 2017-01-14 13:40:41 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2017-01-14 13:40:41 +0700 |
| commit | bab64ac54eb9865c48dcc75ee398953374f5be37 (patch) | |
| tree | 219a51ee0c5751dd7afa2d6ca6611f55bcaa4152 /src/vyconf_client.mli | |
| parent | 621d7bb43a9bb2c0941f91c7c3a5aa082aa87e1b (diff) | |
| download | vyconf-bab64ac54eb9865c48dcc75ee398953374f5be37.tar.gz vyconf-bab64ac54eb9865c48dcc75ee398953374f5be37.zip | |
Use Menhir's build-in boption() for #INACTIVE and #EPHEMERAL
instead of home-grown equivalents.
Diffstat (limited to 'src/vyconf_client.mli')
0 files changed, 0 insertions, 0 deletions