Revision 50fdccaafdb052a9f5baad621de1e0a3de1ae73c

Committed on 31/12/2015 12:43 am by Guillaume Maïssa <guillaume@maissa.fr> [GitHub Diff]

fix #15: remove useless ini file