summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorVinicius Monego <monego@posteo.net>2020-09-07 17:22:17 -0300
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2020-09-08 13:51:15 +0200
commita8095cd52ae3cc55fe584359fa4dab92b5c5e1b1 (patch)
tree70166ec385d955447de3263466767774a87618f9 /gnu/packages/coq.scm
parentcce5e1260a23d4f9284f44c4cc6ede80b9cbfae0 (diff)
gnu: Add emacs-gdscript-mode.
* gnu/packages/emacs-xyz.scm (emacs-gdscript-mode): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions