diff options
| author | Daniil Baturin <daniil@baturin.org> | 2018-06-04 23:20:57 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2018-06-04 23:20:57 +0700 |
| commit | 7f26d95164265b0ffd345afd510bf03ee98cd1d8 (patch) | |
| tree | a675fab9dc64ef674b44c4e88d641edaef3f4db8 /src/config_tree.mli | |
| parent | fb6d3f6dfdbc3601a9af99263ec233bbd3a46e50 (diff) | |
| download | vyconf-7f26d95164265b0ffd345afd510bf03ee98cd1d8.tar.gz vyconf-7f26d95164265b0ffd345afd510bf03ee98cd1d8.zip | |
Initial implementation of the commands formatter.
Diffstat (limited to 'src/config_tree.mli')
| -rw-r--r-- | src/config_tree.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/config_tree.mli b/src/config_tree.mli index 863b2ad..0e21f59 100644 --- a/src/config_tree.mli +++ b/src/config_tree.mli @@ -75,3 +75,4 @@ val render_at_level : string list -> string +val render_commands: ?reftree:(Reference_tree.t option) -> ?alwayssort:bool -> t -> string list -> string |