commit | 9c913fb095c18a8d7660ee083f4f20a1d2b14e87 | [log] [tgz] |
---|---|---|
author | Alberto Debiasi <adebiasi@fbk.eu> | Thu May 21 09:41:45 2020 +0200 |
committer | Alberto Debiasi <adebiasi@fbk.eu> | Thu May 21 09:41:45 2020 +0200 |
tree | 91c079e2882018219bd54c0f0dd9fa8dabd548df | |
parent | f31ef31aa478ba4bfcb9ead94a7b681a36b94d43 [diff] | |
parent | 994d110f0594aadfa2c200fe2a7bb72d9667ab57 [diff] |
Merge branch 'bug_561630' of https://git.eclipse.org/r/www.eclipse.org/chess into bug_561630