From 15669c493b5addc5944d3765d9d234774bdbcf3e Mon Sep 17 00:00:00 2001 From: Stefan Ellmauthaler <71695780+ellmau@users.noreply.github.com> Date: Tue, 28 Dec 2021 18:51:26 +0100 Subject: [PATCH] Initial Home page --- Home.md | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 Home.md diff --git a/Home.md b/Home.md new file mode 100644 index 0000000..33a4072 --- /dev/null +++ b/Home.md @@ -0,0 +1,2 @@ +Welcome to the adf-obdd wiki! +