aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2018-02-08 14:42:32 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2018-02-08 14:42:32 +0100
commited0c5d3c585c978d95202269aca8f813e2c9441c (patch)
treeb8feeb43179348b061bee1f84d63690d2ea979ae /doc
parentcc304fe82197ed5e16be2462edb46248808571a2 (diff)
downloadguix-ed0c5d3c585c978d95202269aca8f813e2c9441c.tar
guix-ed0c5d3c585c978d95202269aca8f813e2c9441c.tar.gz
gnu: mcrl2: Fix typo in synopsis.
* gnu/packages/maths.scm (mcrl2)[synopsis]: Fix typo. [description]: Use @dfn.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions