again
Merge branch 'master' of https://github.com/ClementCristin/Plug-in-Eclipse-Aide-a-la-localisation-de-bugs-dans-un-programme-JAVA
hope this is the last commit about gitignore