diff options
Diffstat (limited to 'games/dangerdeep/files/patch-src_coastmap.h')
| -rw-r--r-- | games/dangerdeep/files/patch-src_coastmap.h | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/games/dangerdeep/files/patch-src_coastmap.h b/games/dangerdeep/files/patch-src_coastmap.h deleted file mode 100644 index b71f6a5a6517..000000000000 --- a/games/dangerdeep/files/patch-src_coastmap.h +++ /dev/null @@ -1,20 +0,0 @@ ---- src/coastmap.h.orig 2020-03-29 09:04:12 UTC -+++ src/coastmap.h -@@ -151,7 +151,7 @@ class coastmap - void process_coastline(int x, int y); - void process_segment(int x, int y); - -- class worker : public thread -+ class worker : public ::thread - { - coastmap& cm; - public: -@@ -163,7 +163,7 @@ class coastmap - } - }; - -- thread::auto_ptr<worker> myworker; -+ ::thread::auto_ptr<worker> myworker; - void construction_threaded(); - - public: |