diff options
Diffstat (limited to 'otherlibs/graph/graphicsX11.ml')
| -rw-r--r-- | otherlibs/graph/graphicsX11.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/otherlibs/graph/graphicsX11.ml b/otherlibs/graph/graphicsX11.ml index 4b70d29bd..066952ce6 100644 --- a/otherlibs/graph/graphicsX11.ml +++ b/otherlibs/graph/graphicsX11.ml @@ -11,8 +11,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Module [GraphicsX11]: additional graphics primitives for the X Windows system *) type window_id = string |