diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-12-07 23:16:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-08 00:47:26 +0100 |
| commit | a1d7920861a8d6c6774149eaf939eb2636942090 (patch) | |
| tree | efaff4d16b328112f28259fa260e4ec107789ce3 /gnu/local.mk | |
| parent | deeaa9e1993b9c4684be8879d154000d234a5c24 (diff) | |
| download | patches-a1d7920861a8d6c6774149eaf939eb2636942090.tar patches-a1d7920861a8d6c6774149eaf939eb2636942090.tar.gz | |
machine: Remove unnecessary record self-referencing bindings.
'this-machine' and 'this-machine-ssh-configuration' were useless given
that there are no thunked fields.
* gnu/machine.scm (<machine>)[this-machine]: Remove.
* gnu/machine/ssh.scm (<machine-ssh-configuration>)
[this-machine-ssh-configuration]: Remove.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions