Suggest a new UUID when missing from config#307

pehrsoderman merged 1 commit into

Kattis:developKattis/problemtools:developfrom

gkreitz:be_more_helpful_when_uuid_is_missinggkreitz/problemtools:be_more_helpful_when_uuid_is_missingCopy head branch name to clipboard