This commit is contained in:
2024-04-24 07:33:44 +02:00
parent 8fc4db27cd
commit da27f5c430

View File

@@ -110,7 +110,7 @@
:os
;;(:if IS-MAC macos) ; improve compatibility with macOS
;;tty ; improve the terminal Emacs experience
tty ; improve the terminal Emacs experience
:lang
;;agda ; types of types of types of types...