diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-06-05 02:00:00 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-06-05 02:00:00 +0200 |
commit | aeca46ae0fba3e06b81af458bca27315de0e7c7d (patch) | |
tree | e568db010643e760ff0339f81becf623916ea5cc /gnu/packages | |
parent | 337441609cb3209c416eb40c92b0815b1ba4072c (diff) |
doc: Remove left-over MIPS.
* doc/guix.texi (Additional Build Options): Substitute aarch64 for MIPS.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions