commit | 5efafa761f12921b2f56f25eeef599bc9dfb031f | [log] [tgz] |
---|---|---|
author | Alberto Debiasi <adebiasi@fbk.eu> | Fri May 08 17:30:11 2020 +0200 |
committer | Alberto Debiasi <adebiasi@fbk.eu> | Fri May 08 17:30:11 2020 +0200 |
tree | 324935996ddcde1409798f04d8c35cf31886af2b | |
parent | e31d83d790a2895bd6570294856d9eed2f300a4a [diff] | |
parent | 4764799e32490b739cce456584dd2171922994f2 [diff] |
Merge branch 'neon' of https://git.eclipse.org/r/chess/chess.git into neon