Browse Source

Rename "manual.org" into "org-manual.org"

Nicolas Goaziou 7 years ago
parent
commit
6d4ae97103
1 changed files with 0 additions and 0 deletions
  1. 0 0
      doc/org-manual.org

+ 0 - 0
doc/manual.org → doc/org-manual.org