anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-11 08:25:46 +03:00
Code Issues Projects Releases Wiki Activity

Fix typo

Browse Source
This commit is contained in:
Jonathan Prieto-Cubides 2022-04-06 16:46:08 +02:00
parent 220218dae4
commit 482c8ecc77
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
minijuvix-mode/minijuvix-highlight.el
View File

@ -4,7 +4,7 @@
"Syntax highlighting for MiniJuvix."
:group 'minijuvix)
(defgroup agda2-highlight-faces nil
(defgroup minijuvix-highlight-faces nil
"Faces used to highlight MiniJuvix code."
:group 'minijuvix-highlight)