From b7964befd039c41c63e00ef323f9eb49061c144c Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sun, 1 Oct 2023 19:30:58 +0200 Subject: Added the git revision in the code --- bin/dune | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'bin/dune') diff --git a/bin/dune b/bin/dune index f7aacc3..58e96ff 100644 --- a/bin/dune +++ b/bin/dune @@ -4,7 +4,9 @@ (libraries sedlex qsp_syntax - qparser) + qparser + tools + ) (preprocess (pps ppx_deriving.show -- cgit v1.2.3