Skip to content
GitLab
Explore
Sign in
MMT
LATIN2
Repository
LATIN2
source
type_theory
quotation.mmt
Find file
Blame
History
Permalink
fix syntax error detected by Pygments lexer (yay)
· 01d7ac66
ComFreek
authored
Jun 03, 2020
01d7ac66