|
|
d301109b1a
|
Update release document
Use more precise git commands for pushing a single tag.
|
2018-07-05 12:01:38 +03:00 |
|
|
|
7be11af911
|
Fix release documentation
Copied the contents of the pull request to the wrong repo to the correct
one.
|
2018-06-08 07:45:18 +03:00 |
|
|
|
050e27685e
|
Add various build script documents
Added documents that were left over from the build scripts repo.
|
2018-03-13 11:37:10 +02:00 |
|
