tree 5fab2c3ed387c9264379bc525cbb2165f8f80293
parent 7eae3b960415165e898bdd7c59b36a0a29b656fa
author Dani Megert <dmegert> 1396357850 +0200
committer Dani Megert <dmegert> 1396357850 +0200

Fixed bug 431705: Searching for "print margin" in preference dialog doesn't find anything