From 8718aae9591dfd64f3adb47974035d29c37f5149 Mon Sep 17 00:00:00 2001 From: Stefan Ellmauthaler <71695780+ellmau@users.noreply.github.com> Date: Tue, 28 Dec 2021 18:56:53 +0100 Subject: [PATCH] Updated Home (markdown) --- Home.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Home.md b/Home.md index 33a4072..47d7565 100644 --- a/Home.md +++ b/Home.md @@ -1,2 +1,5 @@ Welcome to the adf-obdd wiki! +This is currently just a scratch-pad for different results and outputs to share with other collaborators. + +[[LOG-of-first-big-tests]] \ No newline at end of file