branch: master commit d451fef0ab66d124235745498c39c6be08b5e50a Author: Noam Postavsky <[email protected]> Commit: Noam Postavsky <[email protected]>
rename manual.org to index.org
---
doc/{manual.org => index.org} | 0
1 files changed, 0 insertions(+), 0 deletions(-)
diff --git a/doc/manual.org b/doc/index.org
similarity index 100%
rename from doc/manual.org
rename to doc/index.org
