4 Commits

Author	SHA1	Message	Date
dependabot-preview[bot]	a571b5a63e	module: update rope to version 0.17.0 ... Bumps [rope](https://github.com/python-rope/rope) from 0.16.0 to 0.17.0 (#17). - [Release notes](https://github.com/python-rope/rope/releases) - [Commits](https://github.com/python-rope/rope/compare/0.16.0...0.17.0) Signed-off-by: dependabot-preview[bot] <support@dependabot.com> Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com>	2020-05-07 15:18:20 +02:00
Christian Nicolai	a6700b4fe7	module: remove Pipfile.lock and put dev package version pinning into Pipfile	2020-04-30 16:07:08 +02:00
cn	21c4eaa614	module: use type hints and validate with mypy	2019-12-19 17:36:35 +01:00
Christian Nicolai	d5bb54cc8e	Fiat lux	2019-12-16 09:15:02 +01:00