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