aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2020-03-02 22:59:57 +0100
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2020-03-02 22:59:57 +0100
commit1eee899617cfd2216baba5be42e2c2d77f58715a (patch)
treef3b91c09f2a3c49eb0682c81d6eaf8d202c1430d /gnu/packages/coq.scm
parent7a4b2da48f9d21d00b46b48f9d86e53c83ce7aa7 (diff)
downloadpatches-1eee899617cfd2216baba5be42e2c2d77f58715a.tar
patches-1eee899617cfd2216baba5be42e2c2d77f58715a.tar.gz
gnu: emacs-windower: Fix description.
* gnu/packages/emacs-xyz.scm (emacs-windower): Fix Texinfo code for lists in description.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions