diff options
author | John Darrington <jmd@gnu.org> | 2016-09-10 20:35:20 +0200 |
---|---|---|
committer | John Darrington <jmd@gnu.org> | 2016-09-14 06:37:28 +0200 |
commit | dbc6d370fa75d2b6da1f89961a7c44f27ac52f87 (patch) | |
tree | 3a7005c50eefabd8b5b93f45ce7831f9ab408c73 /THANKS | |
parent | d6feaf6e8ffbc34f05bdff0672485416997984ec (diff) |
doc: "Various Services" -> "Miscellaneous Services"
* doc/guix.texi (Services): "Various" -> "Miscellaneous"
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions