3 commits

Author	SHA1	Message	Date
/jedi/	7093e6cba9	clean up	2018-12-27 21:56:30 +01:00
/jedi/	9962aff322	minor improvements	2018-12-27 19:51:29 +01:00
/jedi/	be8b5f50f2	TAG 0 finetuning	2018-12-27 08:52:14 +01:00