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