1 Commits (0a2b6b4e5ff24c73ba7fb98149d5c4e6f279f30f)

Author	SHA1	Message	Date
Alexander Bentkamp	d6bd2c98da	split off test game ... still need to adapt the call to the lean binary to provide two arguments	4 years ago