From fc67f7a82f63f00609a7c84207827e0f219402f2 Mon Sep 17 00:00:00 2001
From: Matteo Bernardini
Date: Sat, 19 Oct 2019 22:49:29 +0200
Subject: 20191019.1 global branch merge.

Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
---
 games/widelands/widelands-gcc47.patch | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 games/widelands/widelands-gcc47.patch

(limited to 'games/widelands/widelands-gcc47.patch')

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>
- 
-
-- 
cgit v1.2.3