diff options
Diffstat (limited to 'src/commit.mli')
-rw-r--r-- | src/commit.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/commit.mli b/src/commit.mli index 881c2a0..db91195 100644 --- a/src/commit.mli +++ b/src/commit.mli @@ -1,2 +1,2 @@ -val test_commit_data : Vyos1x.Reference_tree.t -> Vyos1x.Config_tree.t -> unit +val show_commit_data : Vyos1x.Config_tree.t -> Vyos1x.Config_tree.t -> string |