comparison src/de/mpg/mpiwg/itgroup/digilib/manipulator/extensions/NextPage.java @ 32:d7a43156a79b default tip

new tabs
author dwinter
date Mon, 10 Oct 2011 17:52:22 +0200
parents 643fa1daa70c
children
comparison
equal deleted inserted replaced
31:abcce1110d84 32:d7a43156a79b