From 798b1dc391f424868f5f4bac8937c191ed4716b8 Mon Sep 17 00:00:00 2001 From: Ada Christine Date: Mon, 30 Jan 2023 00:05:53 +0000 Subject: headers moved around --- lib/kstdio.h | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 lib/kstdio.h (limited to 'lib/kstdio.h') diff --git a/lib/kstdio.h b/lib/kstdio.h deleted file mode 100644 index d3615f1..0000000 --- a/lib/kstdio.h +++ /dev/null @@ -1,18 +0,0 @@ -#pragma once - -#include - -#include - -typedef struct FILE FILE; - -extern FILE *kstdout; -extern FILE *kstderr; - -extern int kfputc(int c, FILE *f); - -int kvfprintf(FILE *f, const char *restrict format, va_list arguments); -int kfprintf(FILE *f, const char *restrict format, ...); -int kvprintf(const char *restrict format, va_list arguments); -int kprintf(const char *restrict format, ...); - -- cgit v1.3.1-1-g115d