Merge pull request #728 from ertugerata/new_toolchain

rebuild with new toolchain
2018-07-16 19:47:10 +03:00
parent 04dd540b94 5cf22583ea
commit 9d4831fd4c
122 changed files with 862 additions and 9 deletions
@@ -36,6 +36,13 @@
    </Package>

    <History>
+        <Update release="6">
+            <Date>2018-07-15</Date>
+            <Version>2018c</Version>
+            <Comment>Rebuild</Comment>
+            <Name>Ertuğrul Erata</Name>
+            <Email>ertugrulerata@gmail.com</Email>
+        </Update>
        <Update release="5">
            <Date>2018-07-15</Date>
            <Version>2018c</Version>