summaryrefslogtreecommitdiff
path: root/src/session.mli
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2016-12-20 20:00:58 +0700
committerDaniil Baturin <daniil@baturin.org>2016-12-20 20:00:58 +0700
commitc396043a92677bad72da56fc405651750b48dd87 (patch)
treebb6443794d3c80e8c7d3b594eed64f555f7d27d4 /src/session.mli
parent5eed572bc4a383a123fc694cb328567fe0e492fb (diff)
downloadvyconf-c396043a92677bad72da56fc405651750b48dd87.tar.gz
vyconf-c396043a92677bad72da56fc405651750b48dd87.zip
Add tests for the Reference_tree.is_multi function.
Diffstat (limited to 'src/session.mli')
0 files changed, 0 insertions, 0 deletions