diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-08-14 02:00:00 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-08-14 02:00:00 +0200 |
| commit | 6983ded42bd3dcd29425cb6823e7c74640f28a00 (patch) | |
| tree | f5cd34c9da6548fcb1a18c3253198254307232e0 /gnu | |
| parent | a08f6e1c51d23c701d2ec68e82a93f49d84d223e (diff) | |
doc: Remove extraneous ‘Note…’.
* doc/guix.texi (File Systems): Remove a ‘Note that’ & begin a new
paragraph.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions