tree 843f08c783102e1646b1a503bdf0089734996236
parent 967466a36f62a7d5a69459098e36fdcd3ddd0344
parent eff42e8514fc8295ff1c643f7276ef289a7ce5e6
author Stefano Puri <stefano.puri@intecs.it> 1585040771 +0100
committer Stefano Puri <stefano.puri@intecs.it> 1585040771 +0100

Merge branch 'neon' of https://git.eclipse.org/r/chess/chess into neon