chiark / gitweb /
fix face ordering
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 1 Mar 2019 13:00:35 +0000 (13:00 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 1 Mar 2019 13:00:35 +0000 (13:00 +0000)
commit6022901aee86039f86919331361633ec2980b4ab
treec07322047fa27e84b0a0713fbc7938df2161e89e
parent1f39accc8ec7b1236bc8f9813b77b39827c44dc7
fix face ordering
generate-board