From 88b174915019dd2726f4f274f99cb016f76fae4a Mon Sep 17 00:00:00 2001 From: Stefan Ellmauthaler <71695780+ellmau@users.noreply.github.com> Date: Tue, 28 Dec 2021 18:58:53 +0100 Subject: [PATCH] Updated Home (markdown) --- Home.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/Home.md b/Home.md index 47d7565..d2c777e 100644 --- a/Home.md +++ b/Home.md @@ -1,5 +1 @@ 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