diff options
author | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-04-22 16:34:58 +0200 |
---|---|---|
committer | Robby Workman <rworkman@slackbuilds.org> | 2021-04-22 20:17:42 -0500 |
commit | 7af6f7b9246a8353f54902c150b67ac10e7939e1 (patch) | |
tree | 65d2953894d69cc2f206bdb8e131d24dbd81725b /games/warmux/patches/gcc47.patch | |
parent | 5d3d5f874ff9e16e51e3ff0539caa17efa953afc (diff) |
games/warmux: Removed.
Abandoned upstream. games/hedgewars is probably
better anyway.
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'games/warmux/patches/gcc47.patch')
-rw-r--r-- | games/warmux/patches/gcc47.patch | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/games/warmux/patches/gcc47.patch b/games/warmux/patches/gcc47.patch deleted file mode 100644 index e51801a369bd6..0000000000000 --- a/games/warmux/patches/gcc47.patch +++ /dev/null @@ -1,9 +0,0 @@ -diff -Naur warmux-11.04.orig/tools/list_games/main.cpp warmux-11.04/tools/list_games/main.cpp ---- warmux-11.04.orig/tools/list_games/main.cpp 2011-04-28 21:03:12.000000000 +0200 -+++ warmux-11.04/tools/list_games/main.cpp 2012-04-01 10:03:27.752999997 +0200 -@@ -1,4 +1,5 @@ - #include <stdio.h> -+#include <unistd.h> - #include <WARMUX_types.h> - #include <WARMUX_network.h> - #include <WARMUX_index_server.h> |