"README.md" did not exist on "f3695b62d265e84512131519a8ca7a83c729ca25"
-
Jan Maximilian Michal authored* Also restructured the converter script so it handles mixed (gap and source code) export files as well * Added a sad hack that enables using a base url
Jan Maximilian Michal authored* Also restructured the converter script so it handles mixed (gap and source code) export files as well * Added a sad hack that enables using a base url