]> git.lizzy.rs Git - micro.git/commit
Merge pull request #1421 from j-mortara/master
authorZachary Yedidia <zyedidia@gmail.com>
Thu, 19 Dec 2019 15:01:28 +0000 (10:01 -0500)
committerGitHub <noreply@github.com>
Thu, 19 Dec 2019 15:01:28 +0000 (10:01 -0500)
commit1956a49f9bccc048e177371343fb0bcc9628d34d
treed30f56971f0587e54d869f7b703a57c4cea2cb7d
parent3a8898dadd2dd35ad81615045e9ff13ab75a132f
parent5b869cb836e71d774824a19a16fead33a6ba9a14
Merge pull request #1421 from j-mortara/master

Corrected tex comment start separator