On 21 Sep 2015, at 18:04, Thomas Segismont wrote:
Just a line to tell you the hook has been updated in master branch,
in
order to ignore IDE specific files. Please update your git config as
needed.
Could / should that use .gitignore as ignore file to
prevent duplication ?