diff options
Diffstat (limited to 'games/pingus/files/patch-src_pingus_screens_demo__session.cpp')
-rw-r--r-- | games/pingus/files/patch-src_pingus_screens_demo__session.cpp | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/games/pingus/files/patch-src_pingus_screens_demo__session.cpp b/games/pingus/files/patch-src_pingus_screens_demo__session.cpp deleted file mode 100644 index 8146968392f2..000000000000 --- a/games/pingus/files/patch-src_pingus_screens_demo__session.cpp +++ /dev/null @@ -1,10 +0,0 @@ ---- src/pingus/screens/demo_session.cpp.orig 2018-11-02 16:05:42 UTC -+++ src/pingus/screens/demo_session.cpp -@@ -17,6 +17,7 @@ - #include "pingus/screens/demo_session.hpp" - - #include <algorithm> -+#include <functional> - #include <iostream> - - #include "engine/gui/gui_manager.hpp" |