chiark / gitweb /
Dominosa: Highlight a number when pressed on the keyboard.
authorJonas Kölker <jonaskoelker@yahoo.com>
Thu, 1 Oct 2015 15:35:40 +0000 (17:35 +0200)
committerSimon Tatham <anakin@pobox.com>
Sat, 3 Oct 2015 17:16:01 +0000 (18:16 +0100)

No differences found