tree 7e7e7dd67e6e11638be760a6b335298e7e537174
parent fe93c235578a8aef48ca86459b53d2c9be7d84df
author Giulio Fidente <gfidente@redhat.com> 1382226310 +0200
committer Giulio Fidente <gfidente@redhat.com> 1382226310 +0200

renames p#paginator into div#paginator