chiark / gitweb /
mao: rename deckplace
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 8 Jun 2021 11:40:26 +0000 (12:40 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 8 Jun 2021 11:40:26 +0000 (12:40 +0100)
commit712fae0dfaa11f8db22ce775b0340394144bcb1f
tree07ee2ab60acb9434486799f85844987d509b1c0e
parentd69220db5b9e91b4ada5ba345e470cebed9bc16a
mao: rename deckplace

We're going to want deck52 for a deck of cards, too.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
specs/mao.game.toml