Message252283
Patch write-new-defaults.patch attached so that we write 'newer' default themes to config-highlight.cfg if selected, and ignore them if we already have a default by that name. |
|
Date |
User |
Action |
Args |
2015-10-04 19:46:06 | markroseman | set | recipients:
+ markroseman, terry.reedy, kbk, roger.serwy |
2015-10-04 19:46:06 | markroseman | set | messageid: <1443987966.81.0.420076629347.issue25313@psf.upfronthosting.co.za> |
2015-10-04 19:46:06 | markroseman | link | issue25313 messages |
2015-10-04 19:46:06 | markroseman | create | |
|