xenia d5b58e8df3 Avoid database starting when other devshell is already running, allow devshell in non-root folders		2023-08-11 19:00:51 +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 19:00:51 +02:00