From 52f768a8c57c741cafafb1d5906ade515a762d94 Mon Sep 17 00:00:00 2001 From: rlacroix Date: Fri, 18 Nov 2022 14:55:08 +0100 Subject: [PATCH] added ml and mli base files --- src/tools.ml | 0 src/tools.mli | 0 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 src/tools.ml create mode 100644 src/tools.mli diff --git a/src/tools.ml b/src/tools.ml new file mode 100644 index 0000000..e69de29 diff --git a/src/tools.mli b/src/tools.mli new file mode 100644 index 0000000..e69de29