diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2016-08-19 23:07:35 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2016-08-19 23:07:35 +0200 |
| commit | 408fde59e3d343c48c94311bc3f8e8c0c49f9c7e (patch) | |
| tree | a983503ab0adec5fbc952b265387b04b814baf35 /dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch | |
| parent | 1c39314fbf5d1e81cb94c60155e7a3a83004d82f (diff) | |
| download | overlay-408fde59e3d343c48c94311bc3f8e8c0c49f9c7e.tar.gz overlay-408fde59e3d343c48c94311bc3f8e8c0c49f9c7e.tar.bz2 overlay-408fde59e3d343c48c94311bc3f8e8c0c49f9c7e.zip | |
Cleanup
Diffstat (limited to 'dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch')
| -rw-r--r-- | dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch b/dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch deleted file mode 100644 index 2f6ce7b..0000000 --- a/dev-lang/polyml/files/polyml-5.5.0-x-it-basis.patch +++ /dev/null @@ -1,21 +0,0 @@ -Index: polyml/mlsource/extra/XWindows/ml_bind.ML -=================================================================== ---- polyml/mlsource/extra/XWindows/ml_bind.ML (revision 1600) -+++ polyml/mlsource/extra/XWindows/ml_bind.ML (revision 1601) -@@ -2437,7 +2437,7 @@ - - exception XWindows = XWindows.XWindows; - --let -+local - open XWindows; - - fun printRect _ _ (r:XRectangle) = -@@ -2447,6 +2447,6 @@ - PolyML.PrettyString ("Rect " ^ PolyML.makestring R) - end; - in -- PolyML.addPrettyPrinter printRect -+ val () = PolyML.addPrettyPrinter printRect - end; - |