Fix conflicts from merging master into 'mod-extension'

This commit is contained in:
Paul Chaignon
2015-07-04 18:01:56 +02:00
130 changed files with 24053 additions and 160 deletions

1
vendor/grammars/SMT.tmbundle vendored Submodule

1
vendor/grammars/atom-fsharp vendored Submodule