Merge branch 'avoid-digga' of github.com:aciceri/fleet into avoid-digga

This commit is contained in:
Andrea Ciceri 2022-07-30 11:40:37 +02:00
commit 55ead06206
No known key found for this signature in database
GPG key ID: A1FC89532D1C5654
13 changed files with 65 additions and 12 deletions

View file

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