Skip to content

Pylint and role fixes#33

Merged
mxmeinhold merged 7 commits intoComputerScienceHouse:developfrom
mxmeinhold:pylint-and-role-fixes
May 25, 2020
Merged

Pylint and role fixes#33
mxmeinhold merged 7 commits intoComputerScienceHouse:developfrom
mxmeinhold:pylint-and-role-fixes

Commits

Commits on May 16, 2020

Commits on May 17, 2020