diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-09-18 22:46:21 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-18 23:08:29 +0200 |
commit | d0980ef41859d1f0e4deb98a7f1d6f4ab2c9d4c4 (patch) | |
tree | bc172cce2045699d987d6e4981788f1f6c6bcf45 /po | |
parent | 4bb7d14bbe959c884dfe3a370927211b0593e6d0 (diff) |
doc: Mention the "repository name" for 'guix pack -f docker'.
This is a followup to 0074844366381e3056d09492b8b437836c7adb61.
* doc/guix.texi (Invoking guix pack): Mention the repository name.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions