folkert van heusden c8185cdd5e bit 8-10 of the PSW should be ignored		2024-03-31 21:56:11 +02:00
..
produce-json.py	bit 8-10 of the PSW should be ignored	2024-03-31 21:56:11 +02:00
produce-json2.py	bit 8-10 of the PSW should be ignored	2024-03-31 21:56:11 +02:00