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 | |
|