2 commits

Author	SHA1	Message	Date
Emily Martins	519eed07b6	update command line options	2022-06-29 10:44:33 +02:00
Emily Martins	a7ed7989f1	restructure agora-scripts modules ... In order to allow reusing this code in the future, I've made it so that Agora-specific code all lives in `Main`, and everything else lives in `ScriptExport` or other non-Agora modules.	2022-06-28 21:13:56 +02:00

Renamed from agora-scripts/Options.hs (Browse further)