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