diff options
| author | John Darrington <jmd@gnu.org> | 2016-12-03 18:09:51 +0100 |
|---|---|---|
| committer | John Darrington <jmd@gnu.org> | 2016-12-03 18:11:27 +0100 |
| commit | 8b4990300c1b0fa680bafa3aff5f50829a9393e0 (patch) | |
| tree | 01f89ac2e7d8f4441283974c47bd3c63900f6be3 /gnu | |
| parent | 8e3f813f224f948d74122b18016c7eccad95cbe1 (diff) | |
| download | guix-8b4990300c1b0fa680bafa3aff5f50829a9393e0.tar.gz | |
doc: Use @file to mark file names.
* doc/guix.texi: Use @file where appropriate.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions