summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2021-06-01 21:36:15 +0200
committerLudovic Courtès <ludo@gnu.org>2021-06-01 23:26:07 +0200
commit0db906c52ca329adfbafd6677a7045232e5fdd48 (patch)
tree1d95416e9b3f20ae9a80aba1f389afcae77731e8
parentec9307ea079fa6b25c51f7fde3114f1d9183f497 (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.
-rw-r--r--gnu/services/cuirass.scm5
1 files changed, 1 insertions, 4 deletions
diff --git a/gnu/services/cuirass.scm b/gnu/services/cuirass.scm
index 2daf3082df..99b137e05e 100644
--- a/gnu/services/cuirass.scm
+++ b/gnu/services/cuirass.scm
@@ -38,16 +38,13 @@
#:use-module (gnu system shadow)
#:use-module (srfi srfi-1)
#:use-module (ice-9 match)
- #:export (<cuirass-remote-server-configuration>
- cuirass-remote-server-configuration
+ #:export (cuirass-remote-server-configuration
cuirass-remote-server-configuration?
- <cuirass-configuration>
cuirass-configuration
cuirass-configuration?
cuirass-service-type
- <cuirass-remote-worker-configuration>
cuirass-remote-worker-configuration
cuirass-remote-worker-configuration?
cuirass-remote-worker-service-type))