diff tools/generate_poly.py @ 558:4abf8cf717e9

Rename "bulkhead" to "hatch".
author Jeremy Thurgood <firxen@gmail.com>
date Sat, 07 Sep 2013 22:09:53 +0200
parents 79ba44e04b57
children
line wrap: on
line diff