Optional problem name (deducible from filename)#11

Open

ludopulles wants to merge 2 commits intoEmilGedda:masterfrom

ludopulles:master

Commits on Oct 30, 2018

Optional problem name (deducible from filename)
ludopulles
committed

Commits on Nov 4, 2018

Remove leading directories to get the problem id
ludopulles
committed