xenia 3cd843e01a Avoid database starting when other devshell is already running, allow devshell in non-root folders		2023-08-11 17:07:09 +02:00
..
build.sh	build haskal	2023-08-09 23:05:03 +02:00
setupEnv.sh	Avoid database starting when other devshell is already running, allow devshell in non-root folders	2023-08-11 17:07:09 +02:00