stm: Remove long-obsolete stm/ port.

1 files changed, 0 insertions, 18 deletions

diff --git a/stm/std.h b/stm/std.h
deleted file mode 100644
index 843ddd827..000000000
--- a/stm/std.h
+++ /dev/null
@@ -1,18 +0,0 @@
-typedef unsigned int size_t;
-
-void __assert_func(void);
-
-void *memcpy(void *dest, const void *src, size_t n);
-void *memmove(void *dest, const void *src, size_t n);
-void *memset(void *s, int c, size_t n);
-
-size_t strlen(const char *str);
-int strcmp(const char *s1, const char *s2);
-int strncmp(const char *s1, const char *s2, size_t n);
-char *strcpy(char *dest, const char *src);
-char *strcat(char *dest, const char *src);
-char *strchr(const char *s, int c);
-char *strstr(const char *haystack, const char *needle);
-
-int printf(const char *fmt, ...);
-int snprintf(char *str, size_t size, const char *fmt, ...);