diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-10-10 09:34:38 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-10-10 14:08:59 +0200 |
commit | c678a4eef668b0e64f4700ce3efb59ef62c8d644 (patch) | |
tree | 61064d61ee4c6f74f3851b1f9f37200141169233 /.dir-locals.el | |
parent | 7239828d29613aafb31295c4836d3cf363b3458c (diff) | |
download | patches-c678a4eef668b0e64f4700ce3efb59ef62c8d644.tar patches-c678a4eef668b0e64f4700ce3efb59ef62c8d644.tar.gz |
doc: Use @deftp for 'build-machine'.
* doc/guix.texi (Daemon Offload Setup): Use @deftp for 'build-machine'.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions