Merge remote-tracking branch 'origin/dev' into hammer-docs

2021-01-08 20:11:51 -08:00
parent 7e092c655b d1d7bb8f52
commit b4403a4b33
102 changed files with 3639 additions and 291 deletions
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -45,6 +45,8 @@ Table of Contents

   TileLink-Diplomacy-Reference/index

+   Prototyping/index
+

 Indices and tables
 ==================