summaryrefslogtreecommitdiff
path: root/src/reference_tree.ml
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2015-04-26 16:43:21 +0600
committerDaniil Baturin <daniil@baturin.org>2015-04-26 16:43:21 +0600
commit3891244d49d3c65ef6da6b8644cfb9097b0d51b0 (patch)
tree45589a38e11e03b6af9edab7af25d4ab94ec24df /src/reference_tree.ml
parent727deb901e3090653644a135c238c2f2878a4d8e (diff)
downloadvyconf-3891244d49d3c65ef6da6b8644cfb9097b0d51b0.tar.gz
vyconf-3891244d49d3c65ef6da6b8644cfb9097b0d51b0.zip
Add Vytree.exists for checking if path exists in a tree.
Diffstat (limited to 'src/reference_tree.ml')
0 files changed, 0 insertions, 0 deletions