Rename "orgmanual.org" to "manual.org"

This commit is contained in:
Nicolas Goaziou 2017-12-17 11:04:50 +01:00
parent 290bbc14ad
commit d330eed7c0
1 changed files with 0 additions and 0 deletions