Skip to content

Fix string parsing in Coq lexer#1116

Merged
pyrmont merged 1 commit intorouge-ruby:masterfrom pyrmont:bugfix.coq-stringsMay 27, 2019
+3-1

Commits

Commits on May 18, 2019