aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2023-07-23 15:35:42 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2023-07-16 02:00:07 +0200
commitacd9d1b9b21c21f2774f01f7cb4b6185debb6fa2 (patch)
treeb61cb26f290bf047ec7f0eba3a2e1ca69b121dcb /gnu/packages/coq.scm
parent173ee74c0b4b710a5c6a3679899e80a32450da5e (diff)
downloadguix-acd9d1b9b21c21f2774f01f7cb4b6185debb6fa2.tar.gz
guix-acd9d1b9b21c21f2774f01f7cb4b6185debb6fa2.zip
gnu: python-compreffor: Mark up description.
* gnu/packages/fontutils.scm (python-compreffor)[synopsis, description]: Use @acronym{}.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions