Dan 3d3c1e2c0e Use __name__ instead of .split(".")[-1]		2018-05-02 00:36:39 +02:00
..
core	Use __name__ instead of .split(".")[-1]	2018-05-02 00:36:39 +02:00
errors	Fix some weird behaviours when printing exceptions	2018-04-09 22:04:16 +02:00
__init__.py	Accommodate the new types	2018-04-24 16:08:33 +02:00