diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-11-19 18:12:56 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-19 18:12:56 +0000 |
commit | 20b2253b70bb86b98dfa8a7eda6ef0f8cb8df783 (patch) | |
tree | 6fdbfb44ff42d9134f9aa61046f76019f3d4952c /doc/cross-compilation.xml | |
parent | 9434dc3dfba22d4293a4f55739115c0f37487edf (diff) | |
parent | 0e8c8119072e1c205df65492f7e0542045d1643c (diff) |
Merge pull request #50642 from bts/isl_0_20
isl: add 0.20
Diffstat (limited to 'doc/cross-compilation.xml')
0 files changed, 0 insertions, 0 deletions