doc: get rid of .txt extensions.

nideri · Feb 21, 2019 · 2f95f70 · 2f95f70
1 parent 2a055a0
commit 2f95f70
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/doc/credits.txt → doc/credits b/doc/credits.txt → doc/credits
diff --git a/doc/dependencies.txt → doc/dependencies b/doc/dependencies.txt → doc/dependencies
diff --git a/doc/todo.txt → doc/todo b/doc/todo.txt → doc/todo