mirror of
https://github.com/wassname/DefinitelyTyped.git
synced 2026-08-22 11:40:10 +08:00
Merge pull request #758 from mihailik/patch-3
Renaming CodeMirror.Position to CodeMirror.Pos reflecting the actual JS ...
This commit is contained in: