apio 0f47f59364 libc: make fprintf actually write to the chosen file ... Also, printf now is kind of an alias for fprintf(stdout,...), as it should be.		2022-10-11 21:10:19 +02:00
..
libc	libc: make fprintf actually write to the chosen file	2022-10-11 21:10:19 +02:00
Makefile	Update build system	2022-10-02 17:01:30 +02:00