diff options
| author | John Estabrook <jestabro@vyos.io> | 2024-10-23 18:50:46 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2024-10-27 20:50:47 -0500 |
| commit | 037c3ce961e1fec94b1d50b069b69c6636ac0393 (patch) | |
| tree | b192c3c1549c8bc3bc6cffb69ac0b92b60941662 /src/util.mli | |
| parent | 5d7927e392e70436aaca1f8261e5d4ab8e4ec8f8 (diff) | |
| download | vyconf-037c3ce961e1fec94b1d50b069b69c6636ac0393.tar.gz vyconf-037c3ce961e1fec94b1d50b069b69c6636ac0393.zip | |
T6718: reorganize layout for dune build of libs/executables
Diffstat (limited to 'src/util.mli')
| -rw-r--r-- | src/util.mli | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/util.mli b/src/util.mli deleted file mode 100644 index 4c11d9e..0000000 --- a/src/util.mli +++ /dev/null @@ -1,9 +0,0 @@ -val find_xml_child : string -> Xml.xml -> Xml.xml option - -val string_of_list : string list -> string - -val json_of_list : string list -> string - -val absolute_path : FilePath.filename -> FilePath.filename - -val hexdump : bytes -> string |