summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorVinicius Monego <monego@posteo.net>2020-09-07 17:24:14 -0300
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2020-09-08 13:53:49 +0200
commit59ae22458b4e83ace8f7ad5680df703fbe1c068e (patch)
treeb99f68c59d704e73b134e6219c0670cc8c6af7d5 /gnu/packages/coq.scm
parenta8095cd52ae3cc55fe584359fa4dab92b5c5e1b1 (diff)
gnu: emacs-fountain-mode: Update to 3.2.2.
* gnu/packages/emacs-xyz.scm (emacs-fountain-mode): Update to 3.2.2. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions