Fix the :type of juvix-global-flags - Githubissues

anoma / juvix-mode

The Juvix Emacs mode

https://github.com/anoma/juvix

GNU General Public License v3.0

1 stars 1 forks source link

Fix the :type of juvix-global-flags #15

Closed janmasrovira closed 3 weeks ago

janmasrovira commented 3 weeks ago

Now it can be set properly using customize-variable