diff options
Diffstat (limited to 'system/shake/shake-dev_t-include.patch')
-rw-r--r-- | system/shake/shake-dev_t-include.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/system/shake/shake-dev_t-include.patch b/system/shake/shake-dev_t-include.patch deleted file mode 100644 index 19ca1c2ae9..0000000000 --- a/system/shake/shake-dev_t-include.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- judge.h_old 2013-11-15 22:00:35.085301859 +0100 -+++ judge.h 2013-11-15 22:00:54.811967958 +0100 -@@ -22,6 +22,7 @@ - #include <stdbool.h> - #include <fcntl.h> - #include <time.h> -+#include <sys/stat.h> - typedef unsigned int uint; - typedef long long int llint; - |