mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-07-11 21:29:59 +02:00
missing = ?
This commit is contained in:
parent
a85b62270e
commit
d4a5db873a
1 changed files with 1 additions and 1 deletions
|
@ -51,7 +51,7 @@
|
|||
"-F" "-f" "-M"
|
||||
"-S" #$socket-path
|
||||
"--key-file" #$key-file
|
||||
"--num-threads" threads)
|
||||
"--num-threads=" threads)
|
||||
#:log-file #$log-file))
|
||||
(stop #~(make-kill-destructor)))))))
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue