From 0cd8482f07aadab6de27aa7395de5408737093ad Mon Sep 17 00:00:00 2001
From: William 'psyFi' Hatcher <william@hatcher.work>
Date: Sun, 13 Aug 2017 06:32:12 -0500
Subject: Rename docs folder to dev-docs (#3898)

+ Add reference to Lua API documentation

* Renamed docs folder to dev-docs

Per issue #3896's discussion, we thought that renaming the `/docs` folder to `/dev-docs` help reduce confusion.
---
 dev-docs/.gitignore | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 dev-docs/.gitignore

(limited to 'dev-docs/.gitignore')

diff --git a/dev-docs/.gitignore b/dev-docs/.gitignore
new file mode 100644
index 000000000..f6caf1c11
--- /dev/null
+++ b/dev-docs/.gitignore
@@ -0,0 +1,7 @@
+# PNG file with no filename is created by the GraphViz's GVEdit when displaying .gv files
+.png
+
+# The PNG files generated from their .gv sources by GraphViz:
+API class inheritance - blockentities.png
+API class inheritance - entities.png
+SocketThreads states.png
-- 
cgit v1.2.3