set VERSION_NUMBER to 2.13 final

Bart van den Eijnden · Bart van den Eijnden · commit c8d4105d230d · 2013-06-17T14:03:59.000+02:00
diff --git a/lib/OpenLayers.js b/lib/OpenLayers.js
@@ -426,4 +426,4 @@
  * When asking questions or reporting issues, make sure to include the output of
  *     OpenLayers.VERSION_NUMBER in the question or issue-description.
  */
-OpenLayers.VERSION_NUMBER="Release 2.13-rc7";
+OpenLayers.VERSION_NUMBER="Release 2.13";
diff --git a/lib/OpenLayers/SingleFile.js b/lib/OpenLayers/SingleFile.js
@@ -7,7 +7,7 @@ var OpenLayers = {
     /**
      * Constant: VERSION_NUMBER
      */
-    VERSION_NUMBER: "Release 2.13-rc7",
+    VERSION_NUMBER: "Release 2.13",
 
     /**
      * Constant: singleFile
