David Given 28d4480f62 It turns out that you can't use freopen() to set binary mode of ... stdin/stdout on Windows; so add a new system function called sys_setbinarymode which does it instead. Then find lots more binary mode flags which need setting.		2022-07-17 20:47:53 +02:00
..
cf.c	It turns out that you can't use freopen() to set binary mode of	2022-07-17 20:47:53 +02:00
cf.h	Header --> Id	1994-06-24 11:31:16 +00:00
cf_idom.c	More void, fewer clang warnings in util/ego	2019-11-01 15:27:16 -04:00
cf_idom.h	More void, fewer clang warnings in util/ego	2019-11-01 15:27:16 -04:00
cf_loop.c	More void, fewer clang warnings in util/ego	2019-11-01 15:27:16 -04:00
cf_loop.h	More void, fewer clang warnings in util/ego	2019-11-01 15:27:16 -04:00
cf_succ.c	More void, fewer clang warnings in util/ego	2019-11-01 15:27:16 -04:00
cf_succ.h	More void, fewer clang warnings in util/ego	2019-11-01 15:27:16 -04:00