From 7b975baebf4fd0b5d062fc5ec1c14c77de7bace4 Mon Sep 17 00:00:00 2001 From: Mickael De PECKER <81997531+mickaelOclock@users.noreply.github.com> Date: Tue, 19 Oct 2021 12:31:10 +0200 Subject: [PATCH] add Ecole O'clock --- lib/domains/io/oclock.txt | 1 + 1 file changed, 1 insertion(+) create mode 100644 lib/domains/io/oclock.txt diff --git a/lib/domains/io/oclock.txt b/lib/domains/io/oclock.txt new file mode 100644 index 0000000000..99214c0f70 --- /dev/null +++ b/lib/domains/io/oclock.txt @@ -0,0 +1 @@ +Ecole O'clock