diff options
Diffstat (limited to 'print/advi/files/patch-graphicsY11.ml')
| -rw-r--r-- | print/advi/files/patch-graphicsY11.ml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/print/advi/files/patch-graphicsY11.ml b/print/advi/files/patch-graphicsY11.ml deleted file mode 100644 index 0846609ef3cf..000000000000 --- a/print/advi/files/patch-graphicsY11.ml +++ /dev/null @@ -1,11 +0,0 @@ ---- graphicsY11.ml.orig Sun Aug 13 01:17:58 2006 -+++ graphicsY11.ml Sun Aug 13 01:18:03 2006 -@@ -109,7 +109,7 @@ - = "caml_gr_move_window";; - - external raw_resize_window : window_id -> int -> int -> unit -- = "caml_gr_resize_window";; -+ = "caml_gr_resize_window1";; - - let resize_subwindow wid height width = - if wid != null_window then begin |