diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-08-20 12:17:41 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-08-20 12:20:45 +0200 |
| commit | fa4ebd2f08d0acc25feca827f7e43e8774843a10 (patch) | |
| tree | e1277aa60dfcd11f0a50d4a084953c3bbbca6f9a /gnu | |
| parent | f307a9eca5db02904f5bc8e13cf96a4631788c8b (diff) | |
| download | patches-fa4ebd2f08d0acc25feca827f7e43e8774843a10.tar patches-fa4ebd2f08d0acc25feca827f7e43e8774843a10.tar.gz | |
doc: Remove extra space before colon in menu entries.
Fixes <https://bugs.gnu.org/32473>.
Reported by HiPhish <hiphish@posteo.de>.
* doc/guix.texi (Top, Defining Packages): In menu, remove extra space
before "::".
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions