mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-07-11 21:29:59 +02:00
Merge branch 'devel' into 'main'
missing = ? See merge request glicid-public/guix-glicid!563
This commit is contained in:
commit
b20fd20dbc
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