chiark / gitweb /
Invent a dissection if none is stored.
authorSimon Tatham <anakin@pobox.com>
Mon, 17 Mar 2014 18:34:57 +0000 (18:34 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 17 Mar 2014 18:34:57 +0000 (18:34 +0000)
commit1e51f817c3447e1c988983d01408327ce3a5b68a
tree2e3781f0ad8e32adca2d9378d172d9717a06ef9d
parent810c83b263fae9142eb50ce5ef45db5ce876c189
Invent a dissection if none is stored.

This will help to fill in the cells for which neither search program
completed in a reasonable time.
tabulate.py