Just some trivial cleanups.
2 patches for repository http://darcs.net/screened:
patch f2ef0e0d387dfcd187ea46ab1f4b3e729433e281
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date: Sun Nov 9 23:27:31 CET 2014
* added some empty lines and fixed a comment typo in Darcs.UI.RemoteApply
patch ccd73260934dbfbf9557298d1408e13be21815c7
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date: Wed Nov 12 17:10:47 CET 2014
* removed a wrong comment in Darcs.UI.Options.All