Ludovic Courtès 6c9e9fc26f remote-server: Warn when running as root. ... * src/cuirass/scripts/remote-server.scm (cuirass-remote-server): Warn when running as root.		2023-11-27 15:22:28 +01:00
..
cuirass	remote-server: Warn when running as root.	2023-11-27 15:22:28 +01:00
sql	Add specifications deactivation support.	2021-11-29 11:19:58 +01:00
static	build-log.js: Tweak icon of the phase folding button.	2023-10-28 23:01:03 +02:00
web/server	web: server: Remove with-ignored-disconnects.	2020-08-04 18:14:51 +02:00
cuirass.scm	cuirass: Stop λ/lambda mixing.	2017-07-06 10:03:16 +02:00
schema.sql	Add specifications deactivation support.	2021-11-29 11:19:58 +01:00