3 commits

Author	SHA1	Message	Date
/jedi/	c822a75df0	some bugfixes	2018-11-06 16:06:05 +01:00
/jedi/	8c38903445	Fix input on linux	2018-11-06 09:04:43 +01:00
/jedi/	bfef6fdc1e	cleanup prototype code	2018-11-05 21:09:01 +01:00