Doc: rename DesignNotes.md -> design_notes.md

This commit is contained in:
Tinmarino
2020-08-12 11:17:00 -04:00
parent 4431caf7ff
commit 212cd8e09b
3 changed files with 2 additions and 2 deletions

View File

@ -1,5 +1,5 @@
# Table autoformating
# Very configurable: read doc/DesignNotes.md
# Very configurable: read doc/design_notes.md
# Do not alter config {{{1
##########################