No description

pb071teachingtooling

This repository has been archived on 2023-07-17. You can view files and clone it, but cannot push or open issues or pull requests.

Matej Focko 102ef3e6ec Make comments differentiate files ... Closes #12		2020-05-26 14:17:11 +02:00
commands	Make comments differentiate files	2020-05-26 14:17:11 +02:00
.gitignore	Add gitignore	2020-05-25 23:44:11 +02:00
diff.sh	Add diff script	2020-05-25 23:42:19 +02:00
git.py	Reworked bash script to Python script	2019-12-01 13:18:32 +01:00
gitlab_provider.py	Update for PB071	2020-04-03 14:10:37 +02:00
kontr_emails.py	Allow processing of given IDs instead of mailbox	2020-05-25 23:50:42 +02:00
pushee.py	Allow processing of given IDs instead of mailbox	2020-05-25 23:50:42 +02:00
submission.py	Sort comments by lines and update mail extraction	2020-05-25 23:49:52 +02:00
utils.py	Remove constants	2019-12-01 13:23:03 +01:00