fix internal function get_hit_counter() if $ is undefined
[mkws-moved-to-github.git] / .gitignore
1 *~