improve devtools looks somewhat and make them work up to current nightly
[themes.git] / .gitignore
1 themelog-*