Merge branch 'master' into idris

This commit is contained in:
Arfon Smith
2016-04-03 07:51:05 -06:00
5 changed files with 22 additions and 1 deletions

3
.gitmodules vendored
View File

@@ -704,3 +704,6 @@
[submodule "vendor/grammars/idris"]
path = vendor/grammars/idris
url = https://github.com/idris-hackers/idris-sublime.git
[submodule "vendor/grammars/atomic-dreams"]
path = vendor/grammars/atomic-dreams
url = https://github.com/PJB3005/atomic-dreams