diff options
| author | Daniil Baturin <daniil@baturin.org> | 2016-12-25 12:09:34 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2016-12-25 12:09:34 +0700 |
| commit | e06d80ac105d49c18df3526e4aa0b70cc37a691a (patch) | |
| tree | 945abaa9241e6d7154b8175c7a42733a0aef46ff /src/util.ml | |
| parent | bf0bb2d35b145fa6556993c2f745edfa73a977d7 (diff) | |
| download | vyconf-e06d80ac105d49c18df3526e4aa0b70cc37a691a.tar.gz vyconf-e06d80ac105d49c18df3526e4aa0b70cc37a691a.zip | |
Add value retrieval functions to the session module.
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions