summaryrefslogtreecommitdiff
path: root/src/config_diff.ml
AgeCommit message (Expand)Author
2022-07-01T4491: use empty string for name of config_tree root nodeJohn Estabrook
2022-04-21T4235: add function 'trim_tree' to produce tree for delete commandsJohn Estabrook
2022-04-21T4235: change type/variable names for clarity; add is_empty for listJohn Estabrook
2022-04-21T4235: keep full paths in subtract treeJohn Estabrook
2022-04-21T4235: function diff_tree now returns single tree containing diffsJohn Estabrook
2022-04-21configtree: T4235: implementation of config tree diffJohn Estabrook