aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-01-11Merge branch 'args' into 'master'Ondřej Čertík
2020-01-11Print helpOndřej Čertík
2020-01-11Parse command line argumentsOndřej Čertík
2020-01-11Merge branch 'ci' into 'master'Ondřej Čertík
2020-01-11Also do cargo runOndřej Čertík
2020-01-11Add GitLab CIOndřej Čertík
2020-01-11Initial commitOndřej Čertík