re-enable ksmiletris

Authored by sandsmark on Jul 31 2019, 12:06 AM.

Description

re-enable ksmiletris

Details

Committed
sandsmarkJul 31 2019, 12:06 AM
Parents
R816:f169fbcffbde: port kpoker
Branches
Unknown
Tags
Unknown