[Jtimer-commits] 01/04: Fix gitignore