summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-07-17 18:37:53 +0200
committerLudovic Courtès <ludo@gnu.org>2014-07-17 18:37:53 +0200
commit3172ed5a4ce1505aca0587dc11ec82ec35b8f020 (patch)
treee28a0b72e8127aba844da3de5626b49aaa782628 /.gitignore
parent42b9b8f9cbbf1dbf0836cdfb4fe57c8342373a66 (diff)
downloadpatches-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