diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-06-01 21:36:15 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-06-01 23:26:07 +0200 |
| commit | 0db906c52ca329adfbafd6677a7045232e5fdd48 (patch) | |
| tree | 1d95416e9b3f20ae9a80aba1f389afcae77731e8 /doc/htmlxref.cnf | |
| parent | ec9307ea079fa6b25c51f7fde3114f1d9183f497 (diff) | |
services: cuirass: Do not export record type descriptors.
* gnu/services/cuirass.scm (<cuirass-remote-server-configuration>)
(<cuirass-configuration>, <cuirass-remote-worker-configuration>): Do not
export.
Diffstat (limited to 'doc/htmlxref.cnf')
0 files changed, 0 insertions, 0 deletions