Age | Commit message (Collapse) | Author |
|
Update as needed for use with contemporary vyos1x-config:
. update build system to use dune
. drop use of batteries
. update for protoc breaking changes in versions >= 3.0
. remove files now in vyos1x-config (config_tree et. al.; parsing)
|
|
Situations when two lists are the same and when they don't have a common
part become indistinguishable, but that's rarely needed.
|
|
|
|
where one contains another (starting with the first element).
|
|
|
|
Splitting directories was a bit premature and unnecessary.
|