Corrected border drawing to avoid clipping

[wxWidgets.git] / build / buildbot / config / ravnsgaard.xml

diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml
index d5f3049fca86567f2854a44452e42fcac74b40f9..687cce00fd9a4f5aad978b8983a2961abe910e57 100644 (file)
--- a/build/buildbot/config/ravnsgaard.xml
+++ b/build/buildbot/config/ravnsgaard.xml
@@ -2,7 +2,6 @@
 
 <!--
     Name:       ravnsgaard.xml
-    RCS-ID:     $Id$
     Licence:    wxWindows licence
 -->
 <bot xmlns:xi="http://www.w3.org/2001/XInclude">