diff options
| author |   Matteo Bernardini | 2018-07-21 18:30:25 +0200 |
|---|---|---|
| committer | Matteo Bernardini | 2018-07-21 18:30:25 +0200 |
| commit | edc3e434486c95e7ee8e227def485cc9e068f377 (patch) | |
| tree | 85312122d425cbf4fcc00475938a40451c4dc97c /games/widelands/widelands-gcc47.patch | |
| parent | ec1a4a932c386f509cf24092be7aa38837d57ddd (diff) | |
| download | slackbuilds-current-20180722.1.tar.gz | |
20180721.2 global branch merge.current-20180722.1
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'games/widelands/widelands-gcc47.patch')
| -rw-r--r-- | games/widelands/widelands-gcc47.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/games/widelands/widelands-gcc47.patch b/games/widelands/widelands-gcc47.patch deleted file mode 100644 index 9ea19c3571..0000000000 --- a/games/widelands/widelands-gcc47.patch +++ /dev/null @@ -1,12 +0,0 @@ -=== modified file 'src/main.cc' ---- src/main.cc 2012-02-15 21:25:34 +0000 -+++ src/main.cc 2012-05-02 07:43:01 +0000 -@@ -28,6 +28,7 @@ - #include <iostream> - #include <stdexcept> - #include <typeinfo> -+#include <unistd.h> - - #include <SDL_main.h> - - |