From b34ebf3fe3ecaf292be873d231dd54c80f16ad07 Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Mon, 24 Jun 2024 00:24:24 +0200 Subject: rename: Reporter -> Error --- src/error/dune | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 src/error/dune (limited to 'src/error/dune') diff --git a/src/error/dune b/src/error/dune new file mode 100644 index 0000000..857f7bc --- /dev/null +++ b/src/error/dune @@ -0,0 +1,4 @@ +(library + (name Error) + (public_name toytt.error) + (libraries asai toytt.ident)) -- cgit 1.4.1