adjust dir structure

muzimuzhi · Aug 1, 2020 · b90cc34 · b90cc34
1 parent d44f808
commit b90cc34
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/doc/COPYING → COPYING b/doc/COPYING → COPYING
diff --git a/doc/VERSION.tex → source/VERSION.tex b/doc/VERSION.tex → source/VERSION.tex