improve devtools styles, support some new trunk changes
[themes.git] / .gitignore
1 themelog-*