https://github.com/crillab/rubens
Revision 13ab56488201ad79ef205e46df33a40950df04dd authored by Emmanuel Lonca on 05 February 2019, 07:53:45 UTC, committed by Emmanuel Lonca on 05 February 2019, 07:53:45 UTC
1 parent a99d2ff
History
Tip revision: 13ab56488201ad79ef205e46df33a40950df04dd authored by Emmanuel Lonca on 05 February 2019, 07:53:45 UTC
fixed a potential deadlock in checkers
Tip revision: 13ab564

README.md

back to top