diff options
author | Daniil Baturin <daniil@baturin.org> | 2015-04-26 16:43:21 +0600 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2015-04-26 16:43:21 +0600 |
commit | 3891244d49d3c65ef6da6b8644cfb9097b0d51b0 (patch) | |
tree | 45589a38e11e03b6af9edab7af25d4ab94ec24df /src/reference_tree.ml | |
parent | 727deb901e3090653644a135c238c2f2878a4d8e (diff) | |
download | vyconf-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