diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2017-12-08 14:00:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-08 14:00:06 +0100 |
| commit | 0b59882fe33d375019f9f6f760144151c2a5aa4b (patch) | |
| tree | 78005d43d1ea5ff9b95d295c18d4683ee13f417c /doc/manual/command-ref/opt-inst-syn.xml | |
| parent | d73e16df05691303996b6d7c0c00309622351052 (diff) | |
| parent | fbab9ed01e603d5af310f4d9b95e86e29c587f43 (diff) | |
Merge pull request #1717 from grahamc/upload-release-aarch64
upload-release.pl: support aarch64-linux
Diffstat (limited to 'doc/manual/command-ref/opt-inst-syn.xml')
0 files changed, 0 insertions, 0 deletions