Merge pull request #1066 from uschek/master

Fix formatting
This commit is contained in:
victor felder 2014-07-28 13:26:10 +02:00
commit 6e33d000db
29 changed files with 573 additions and 573 deletions

View File

@ -1,4 +1,4 @@
###Index ### Index
* [Ada](#ada) * [Ada](#ada)
* [Agda](#agda) * [Agda](#agda)
* [Alef](#alef) * [Alef](#alef)