Skip to content

Resolve "Add option to get the list of all platforms from non-default URL/file"

Marco Clemencic requested to merge 2-add-option-to-get-the-list-of-all-platforms-from-non-default-url-file into master

Closes #2 (closed)

Edited by Marco Clemencic

Merge request reports