diff options
| author | John Estabrook <jestabro@vyos.io> | 2026-09-02 07:15:59 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-02 07:15:59 -0500 |
| commit | 5b5c5f1277b165045123acae4a2470261fbad566 (patch) | |
| tree | 8c43d13c61b282d889898cc03e55ffc25a82c62e /src/diff.mli | |
| parent | 07636e49b3a04fdc76ac42bd65df88736c3945f1 (diff) | |
| parent | f7b4459ba3c6551f8d054456b0d5013a4b0e3ee1 (diff) | |
| download | vyos1x-config-rolling.tar.gz vyos1x-config-rolling.zip | |
Merge pull request #92 from jestabro/reference-tree-utilsrolling
T9231: Add reference_tree utils to return paths satisfying condition
Diffstat (limited to 'src/diff.mli')
| -rw-r--r-- | src/diff.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/diff.mli b/src/diff.mli index 41ae523..1b021bd 100644 --- a/src/diff.mli +++ b/src/diff.mli @@ -5,7 +5,7 @@ exception Empty_comparison module type Place = sig type t - val diff_func : ?recurse:bool -> string list -> t -> change -> t + val diff_func : ?descent:bool -> string list -> t -> change -> t end module Diff : functor (P: Place) -> sig |