Rename source to development to better reflect the contents.
authorJo-Philipp Wich <jo@mein.io>
Sun, 3 Apr 2016 23:33:13 +0000 (01:33 +0200)
committerJo-Philipp Wich <jo@mein.io>
Sun, 3 Apr 2016 23:33:13 +0000 (01:33 +0200)
commit93b6202b06e551abcc350763e533f6fec9ffcce7
tree52bfa2535c80fd74fc00cdee9c0f7db1f7ca899e
parent80bfe28be27eb473a3ba4d20eab59e84d5be8636
Rename source to development to better reflect the contents.

Signed-off-by: Jo-Philipp Wich <jo@mein.io>
pages/development.txt [new file with mode: 0644]
pages/menu.inc
pages/source.txt [deleted file]