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/packages/pcre.scm | |
parent | 8e3f813f224f948d74122b18016c7eccad95cbe1 (diff) |
doc: Use @file to mark file names.
* doc/guix.texi: Use @file where appropriate.
Diffstat (limited to 'gnu/packages/pcre.scm')
0 files changed, 0 insertions, 0 deletions