improve devtools looks somewhat and make them work up to current nightly
[themes.git] / EarlyBlue / global / splitter / grip-bottom.gif
... / ...
CommitLineData
1