aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRaghav Gururajan <raghavgururajan@disroot.org>2020-10-14 21:15:28 -0400
committerDanny Milosavljevic <dannym@scratchpost.org>2020-10-15 11:13:37 +0200
commitb168f2ba53b938e1b322c79e5bfa47fcc506b803 (patch)
tree353db910e3a884f314a9fd707e143d07d3b75478 /gnu/packages/coq.scm
parent6b793fa66218337a1f638466753cd5326a6a6c18 (diff)
downloadguix-b168f2ba53b938e1b322c79e5bfa47fcc506b803.tar
guix-b168f2ba53b938e1b322c79e5bfa47fcc506b803.tar.gz
gnu: claws-mail: Make some cosmetic changes.
* gnu/packages/mail.scm (claws-mail): Make some cosmetic changes. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions