push tag

Author: jginternational

kratos.gid/kratos.xml

@@ -3,9 +3,9 @@
 <Infoproblemtype version="1.0">
   <Program>
     <Name>Kratos</Name>
-    <Version>7.1.3</Version>
+    <Version>7.1.5</Version>
     <ExecutableVersion></ExecutableVersion>
-    <CheckMinimumGiDVersion>14.1.2d</CheckMinimumGiDVersion>
+    <CheckMinimumGiDVersion>14.1.7d</CheckMinimumGiDVersion>
     <CustomLibAutomatic>0</CustomLibAutomatic>
     <CustomLibNativeGroups>1</CustomLibNativeGroups>
     <ImageFileBrowser>images/ImageFileBrowser.gif</ImageFileBrowser>

kratos.gid/kratos_default.spd

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- -*- coding: utf-8; mode: SGML -*- -->
-<Kratos_data version='7.1.3'>
+<Kratos_data version='7.1.5'>
 	<style show_menubutton_about='0' show_menubutton_search='1'></style>
 	<groups/>
 	<units></units>