summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/mumps-shared-mumps.patch
diff options
context:
space:
mode:
authorDamien Cassou <damien@cassou.me>2020-02-09 21:07:04 +0100
committerJakub Kądziołka <kuba@kadziolka.net>2020-02-14 22:55:52 +0100
commit459e0967705945bf6b5861598202aefef27451cd (patch)
tree8dbc3ced07f8ca3ec9f401f7d5f2cf3d0cbc8657 /gnu/packages/patches/mumps-shared-mumps.patch
parentcc0cc9651a398822931e0b34714f64da6e04d0fa (diff)
downloadguix-patches-459e0967705945bf6b5861598202aefef27451cd.tar
guix-patches-459e0967705945bf6b5861598202aefef27451cd.tar.gz
doc: Clarify documentation of guix environment --expose vs. --share
The documentation for --expose and --share parameters are so similar that the reader has to read both descriptions in parallel to find the difference. * doc/guix.texi (Invoking guix environment)[--expose, --share]: Merge the two descriptions into one. Signed-off-by: Jakub Kądziołka <kuba@kadziolka.net>
Diffstat (limited to 'gnu/packages/patches/mumps-shared-mumps.patch')
0 files changed, 0 insertions, 0 deletions