summaryrefslogtreecommitdiff
path: root/development/pim/dbpaper/gui.tex