As previously announced, remove ports that have reached their expiry date,

and the handful of ports that depended on them.

1 files changed, 0 insertions, 17 deletions

diff --git a/databases/mysql-gui/files/patch-gif.cc b/databases/mysql-gui/files/patch-gif.cc
deleted file mode 100644
index 33276477b436..000000000000
--- a/databases/mysql-gui/files/patch-gif.cc
+++ /dev/null
@@ -1,17 +0,0 @@
---- gif.cc.orig	Wed Apr 11 21:12:24 2001
-+++ gif.cc	Mon Feb  3 03:46:27 2003
-@@ -107,11 +107,11 @@
- 		box(FL_NO_BOX);	end(); show();
- 	}
- 	~gif_window () { 
--		if (p && p->data) {
--			char** real_data = (char**)(p->data);
-+		if (p && p->alloc_data) {
-+			char** real_data = (char**)(p->alloc_data);
- 			for (int i = 0; i < 3; i++) delete[] real_data[i];
- 			delete[] real_data;
--			p->data = 0; delete p; p = 0;
-+			p->alloc_data = 0; delete p; p = 0;
- 		}
- 		if (linelength) free((void*)linelength);  
- 	}