Re: [O] koma letter exporter: changing the priority of options

[Rasmus]

Hi Alan,

Alan Schmitt <address@hidden> writes:

>>> I tried to fix it in the updated attached patch. I set a default value
>>> of "foldmarks-not-set" to the predicate that detects if it is set in the
>>> file, then I compare its contents. This assumes that the user will not
>>> give this literal value to the option.
>>
>> The attached version is updated to apply cleanly on master (after
>> applying your other patches).
>
> I've pushed this. Please don't hesitate to send suggestions to improve
> it, or report if it does not work as expected.

Great, it'll serve for now.  It shouldn't case any breaks.

–Rasmus 

-- 
C is for Cookie