Merge branch 'master' into new_toolchain

This commit is contained in:
Ertuğrul Erata
2018-07-17 18:29:04 +03:00
committed by GitHub
28 changed files with 13437 additions and 13373 deletions
+1 -1
View File
@@ -29,7 +29,7 @@
<History>
<Update release="4">
<Date>2018-07-15</Date>
<Date>2018-07-17</Date>
<Version>0.16</Version>
<Comment>Rebuild</Comment>
<Name>Ertuğrul Erata</Name>