diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-04-03 15:17:00 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-04-04 12:36:50 -0500 |
| commit | f389a749097d2a265d1ce1b757804af70a7199ba (patch) | |
| tree | f80ebb339f34b1547d3f24b62f485b8a6a9114ad /src/commit.mli | |
| parent | 0fb5e2f781725196ae010cf64e4d185a8f5ce721 (diff) | |
| download | vyconf-f389a749097d2a265d1ce1b757804af70a7199ba.tar.gz vyconf-f389a749097d2a265d1ce1b757804af70a7199ba.zip | |
T7302: remove unused commit_store
Diffstat (limited to 'src/commit.mli')
| -rw-r--r-- | src/commit.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/commit.mli b/src/commit.mli index 12ad084..697c5fd 100644 --- a/src/commit.mli +++ b/src/commit.mli @@ -40,5 +40,3 @@ val make_commit_data : Vyos1x.Reference_tree.t -> Vyos1x.Config_tree.t -> Vyos1x val calculate_priority_lists : Vyos1x.Reference_tree.t -> Vyos1x.Config_tree.t -> node_data list * node_data list val commit_update : commit_data -> commit_data - -val commit_store : commit_data -> unit |