diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-09-21 08:46:39 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-09-21 08:46:39 +0600 |
| commit | a13e17bbbb81e848be72749bec4fb41155aa7514 (patch) | |
| tree | 5dd208b4fb71d64e92b99127e69fcb2f97d8d0a3 /src/config_tree.ml | |
| parent | e16eed718dacb83e49fa72caecb82ba6820bcced (diff) | |
| download | vyconf-a13e17bbbb81e848be72749bec4fb41155aa7514.tar.gz vyconf-a13e17bbbb81e848be72749bec4fb41155aa7514.zip | |
Make Vylist.complement return a list rather than list option.
Situations when two lists are the same and when they don't have a common
part become indistinguishable, but that's rarely needed.
Diffstat (limited to 'src/config_tree.ml')
0 files changed, 0 insertions, 0 deletions