PaulTondeur/injector.js — pull request #1 by jankeesvw (2012-11-12 18:24:51+00:00)
Title: Remove preferences created by IntelliJ IDEA

I think it's cleaner if you'd remove these preference files from the repo.