Olof Kindgren
03/30/2021, 1:47 PMAhmed Ghazy
03/31/2021, 7:46 AMconfig.json
is an optional alternative to config.tcl
in situations where it's not a good idea to source a tcl file (e.g., for security reasons). You can ignore it altogether if it makes your life easier.Olof Kindgren
03/31/2021, 7:51 AM