dev-tsdh-* themes

[Eli Zaretskii]

This revision on the trunk:

  revno: 102768
  committer: Tassilo Horn <address@hidden>
  branch nick: trunk
  timestamp: Thu 2011-01-06 08:35:47 +0100
  message:
    * themes/dev-tsdh-light-theme.el (dev-tsdh-light): New theme.
    * themes/dev-tsdh-dark-theme.el (dev-tsdh-dark): New theme.
  added:
    etc/themes/dev-tsdh-dark-theme.el
    etc/themes/dev-tsdh-light-theme.el
  modified:
    etc/ChangeLog

introduced 2 files whose names clash on 8+3 filesystems.  Can they be
renamed by dropping the "dev-" prefix, i.e. to tsdh-dark-theme.el and
tsdh-light-theme.el, respectively?  That would resolve the issue, and
the "dev-" prefix doesn't seem to be of any importance, I think.

TIA