diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-07-17 18:37:53 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-07-17 18:37:53 +0200 |
commit | 3172ed5a4ce1505aca0587dc11ec82ec35b8f020 (patch) | |
tree | e28a0b72e8127aba844da3de5626b49aaa782628 /.gitignore | |
parent | 42b9b8f9cbbf1dbf0836cdfb4fe57c8342373a66 (diff) | |
download | patches-3172ed5a4ce1505aca0587dc11ec82ec35b8f020.tar patches-3172ed5a4ce1505aca0587dc11ec82ec35b8f020.tar.gz |
install: Show the "System Installation" node.
* gnu/system/install.scm (log-to-info): Go to the new 'System
Installation' node.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions