diff options
Diffstat (limited to 'playground.h')
-rw-r--r-- | playground.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/playground.h b/playground.h deleted file mode 100644 index 824157b..0000000 --- a/playground.h +++ /dev/null @@ -1,6 +0,0 @@ -#ifndef PLAYGROUND_H -#define PLAYGROUND_H - -extern "C" void halt(); - -#endif |