diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-10-22 18:31:47 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-22 18:32:52 +0200 |
commit | c93994b5e43acc6048b81836d30632e015306c92 (patch) | |
tree | e9f0e21e936a7f9fca2874eac1fa9310c77b6628 /.gitignore | |
parent | 12712817ae97eb6305deeaad68ce17c9fa212917 (diff) | |
download | guix-c93994b5e43acc6048b81836d30632e015306c92.tar.gz guix-c93994b5e43acc6048b81836d30632e015306c92.zip |
machine: digital-ocean: Rename 'enable-ipv6' to 'enable-ipv6?'.
* gnu/machine/digital-ocean.scm (<digital-ocean-configuration>)[enable-ipv6]:
Rename to...
[enable-ipv6?]: ... this.
(deploy-digital-ocean): Adjust accordingly.
* doc/guix.texi (Invoking guix deploy): Adjust accordingly.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions