Do not print a skip message for every page.
authorMarcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Fri, 6 Aug 2010 16:48:56 +0000 (18:48 +0200)
committerMarcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Fri, 6 Aug 2010 16:48:56 +0000 (18:48 +0200)
commit24dbc0b93a7bd33d1e7b475996541ac037a94e3c
tree9b9bf33d3304c4daabcac7f5bf868b055dc5dbe1
parentece8910d4bd952a7e78e61ac9e693cc8af0748b6
Do not print a skip message for every page.
virtual-query.c