booleanvector: Use isempty() instead of size()==0
authorStefan Huber <shuber@sthu.org>
Tue, 14 Jan 2014 14:10:21 +0000 (15:10 +0100)
committerStefan Huber <shuber@sthu.org>
Tue, 14 Jan 2014 15:22:17 +0000 (16:22 +0100)

No differences found