Closed AlanGriffiths closed 2 weeks ago
Of course, we don't track the symbols so it probably shouldn't exist anyway
Yeah this shouldn't exist. I must have forgotten to delete it. The generate-mirserver-symbols-map
handles both external and internal symbols
There is no
run.sh
anywhere