properly skip launching backend on "ok" in properties without value changes
[booh] / .gitignore
1 ChangeLog