No description
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.
Find a file
2020-04-03 14:10:37 +02:00
commands Update for PB071 2020-04-03 14:10:37 +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 Update for PB071 2020-04-03 14:10:37 +02:00
pushee.py Update for PB071 2020-04-03 14:10:37 +02:00
submission.py Differentiate between path and "ID" 2019-12-02 10:52:57 +01:00
utils.py Remove constants 2019-12-01 13:23:03 +01:00