]> git.lizzy.rs Git - micro.git/commitdiff
Merge pull request #313 from adrianvoica/master
authorZachary Yedidia <zyedidia@gmail.com>
Mon, 5 Sep 2016 14:28:36 +0000 (10:28 -0400)
committerGitHub <noreply@github.com>
Mon, 5 Sep 2016 14:28:36 +0000 (10:28 -0400)
Updates to TypeScript dictionary.


Trivial merge