scripts

Jul 27, 2023

9eb363a · Jul 27, 2023

Name	Name	Last commit message	Last commit date
parent directory ..
add-placeholders.sh	add-placeholders.sh	Add a script to add .placeholder files into empty sim dirs	Aug 16, 2021
start_mongo.sh	start_mongo.sh	CI/MNT: parametrize docker_binary in the mongo startup script and mak…	Sep 20, 2021
start_sirepo.sh	start_sirepo.sh	Bugfix frontend	Jul 27, 2023

Provide feedback