some more devtools improvements: make clear button work in newer versions, actually...
[themes.git] / .gitignore
1 themelog-*