commit | 53a8e3565a413e5c8752db3493af241357306e6a | [log] [tgz] |
---|---|---|
author | Alberto Debiasi <adebiasi@fbk.eu> | Fri May 15 08:53:30 2020 +0200 |
committer | Alberto Debiasi <adebiasi@fbk.eu> | Fri May 15 08:53:30 2020 +0200 |
tree | 20ded0cae7e6c789666e41769878fc9b053e139a | |
parent | e755be822122a8b786f6015b8d58f0568d371a7e [diff] | |
parent | 1fd89f1d41352feacd4878effda9317073040f16 [diff] |
Merge branch 'neon' of https://git.eclipse.org/r/chess/chess.git into neon