|
37b4d04d11
|
Globbing
|
2020-06-08 17:39:36 +02:00 |
|
|
102ef3e6ec
|
Make comments differentiate files
Closes #12
|
2020-05-26 14:17:11 +02:00 |
|
|
593bd0cf30
|
Sort comments by lines and update mail extraction
|
2020-05-25 23:49:52 +02:00 |
|
|
3b2e4d7de9
|
Gitlab as class
|
2019-12-12 12:15:52 +01:00 |
|
|
4437e1a058
|
Update comment formatting
|
2019-12-01 13:23:03 +01:00 |
|
|
d992e18bbd
|
Introduce Submission
|
2019-12-01 13:23:03 +01:00 |
|
|
2d98660213
|
Change formatting of comments
|
2019-12-01 13:22:25 +01:00 |
|
|
6c53c3cdea
|
Split commands and update printing of comments
|
2019-12-01 13:22:25 +01:00 |
|