Use boolean_vector in boolean_matrix
authorStefan Huber <shuber@sthu.org>
Thu, 9 Jan 2014 20:25:09 +0000 (21:25 +0100)
committerStefan Huber <shuber@sthu.org>
Tue, 14 Jan 2014 15:21:20 +0000 (16:21 +0100)

No differences found