summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2017-12-04 18:14:28 +0100
committerLudovic Courtès <ludo@gnu.org>2017-12-04 18:14:28 +0100
commit39b27f4eae36d155faf466c59629afb5843030e6 (patch)
tree31e39b848cb55dd923e6c4ee74d8c8fdbd20e314 /.gitignore
parentbe5622e7f1b2f4e4567214b209bfd153dfd59013 (diff)
doc: Mention berlin.guixsd.org.
* doc/guix.texi (Substitute Server Authorization): Add note about berlin.guixsd.org. Nitpick.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions