Merge pull request #536 from ocsigen/rm-doc-master

Remove documentation from master branch
ocsigen · Jan 10, 2019 · dbb5f33 · dbb5f33
2 parents 6c2a079 + d473de3
commit dbb5f33
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 176 deletions.
diff --git a/doc/manual-wiki/intro.wiki b/doc/manual-wiki/intro.wiki
diff --git a/doc/manual-wiki/menu.wiki b/doc/manual-wiki/menu.wiki