1 patch for repository http://darcs.net/screened:
patch 8a3bc69e7a55b30aefd58d6b5d2f348e286d35b0
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Jul 5 23:30:01 CEST 2019
* demote errors in defaults file and commandline to warnings
When we change the UI by e.g. adding a new command line option, we want the
user to be able to use these switches in their defaults file without this
giving an error when they use an older version of darcs. So this change
improves forwards compatibility.