From aa9e7cc58acf092dce2414318d7698f8fb8082d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edoardo=20Apr=C3=A0?= Date: Mon, 1 Jun 2020 15:31:37 -0700 Subject: [PATCH] obsolete directory [ci skip] --- doc/README.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 doc/README.md diff --git a/doc/README.md b/doc/README.md new file mode 100644 index 0000000000..d3510c92b9 --- /dev/null +++ b/doc/README.md @@ -0,0 +1,3 @@ +This directory is obsolete. + +Please use Wiki as the source for User's Documentation