This commit is contained in:
joachimschmidt557 2022-04-24 12:05:16 +02:00
parent 7df7a57009
commit 3b88bd0645
No known key found for this signature in database
GPG key ID: E0B575BE2884ACC5
2 changed files with 4 additions and 0 deletions

View file

@ -35,6 +35,7 @@
(straight-use-package 'fish-mode)
(straight-use-package 'svelte-mode)
(straight-use-package 'yaml-mode)
(straight-use-package 'cmake-mode)
;; (straight-use-package '(promela-mode
;; :type git