commit 15669c493b5addc5944d3765d9d234774bdbcf3e Author: Stefan Ellmauthaler <71695780+ellmau@users.noreply.github.com> Date: Tue Dec 28 18:51:26 2021 +0100 Initial Home page 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! +