This is a cleanup patch, too; sending it separately for easier review since
it is slightly more involved.
1 patch for repository http://darcs.net/screened:
patch 247d8107e0a0506af338af149aa8c505fc7424b5
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date: Sat Feb 14 02:35:52 CET 2015
* move PatchFormat from Options to Repository (and use it there)