Irmen de Jong 435b9d8973 get rid of 'noreinit' option for now, because it resulted in unreliable code		2023-02-20 23:29:16 +01:00
..
source	get rid of 'noreinit' option for now, because it resulted in unreliable code	2023-02-20 23:29:16 +01:00
docs.iml
make.bat
Makefile
requirements.txt	attempt to fix readthedocs.io build	2022-09-25 22:19:32 +02:00