1 files changed, 0 insertions, 53 deletions
diff --git a/math/py-gato/files/patch-Gred.py b/math/py-gato/files/patch-Gred.py
deleted file mode 100644
index 997bf65bec27..000000000000
--- a/math/py-gato/files/patch-Gred.py
+++ /dev/null
@@ -1,53 +0,0 @@
---- Gred.py	Wed Jul 08 22:14:29 2009 +0900
-+++ Gred.py	Wed Jul 08 22:16:07 2009 +0900
-@@ -1,4 +1,4 @@
--#!/usr/bin/env python2.3
-+#!/usr/bin/env python
- ################################################################################
- #
- #       This file is part of Gato (Graph Animation Toolbox) 
-@@ -34,17 +34,17 @@
- #             last change by $Author: schliep $.
- #
- ################################################################################
--from GatoGlobals import *
--import GatoGlobals # Needed for help viewer.XXX
--from Graph import Graph
--from DataStructures import EdgeWeight, VertexWeight
--from GraphUtil import OpenCATBoxGraph, OpenGMLGraph, OpenDotGraph, SaveCATBoxGraph, WeightedGraphInformer
--from GraphEditor import GraphEditor
-+from Gato.GatoGlobals import *
-+import Gato.GatoGlobals # Needed for help viewer.XXX
-+from Gato.Graph import Graph
-+from Gato.DataStructures import EdgeWeight, VertexWeight
-+from Gato.GraphUtil import OpenCATBoxGraph, OpenGMLGraph, OpenDotGraph, SaveCATBoxGraph, WeightedGraphInformer
-+from Gato.GraphEditor import GraphEditor
- from Tkinter import *
- import tkFont
--from GatoUtil import stripPath, extension, gatoPath
--import GatoDialogs
--import GatoIcons
-+from Gato.GatoUtil import stripPath, extension, gatoPath
-+from Gato import GatoDialogs
-+from Gato import GatoIcons
- from ScrolledText import *
- 
- from tkFileDialog import askopenfilename, asksaveasfilename
-@@ -56,7 +56,7 @@
- import os
- import webbrowser
- 
--import GraphCreator, Embedder
-+from Gato import GraphCreator, Embedder
- 
- class GredSplashScreen(GatoDialogs.SplashScreen):
- 
-@@ -926,7 +926,7 @@
- ##    globals()['gVertexRadius'] = 12
- ##    globals()['gVertexFrameWidth'] = 0
- ##    globals()['gEdgeWidth'] = 2
--    GatoGlobals.cVertexDefault = '#000099'
-+    Gato.GatoGlobals.cVertexDefault = '#000099'
-     ##    globals()['cEdgeDefault'] = '#999999'
-     ##    globals()['cLabelDefault'] = 'white'
-