Revision 6635f52b73e83b3ea2adee9e6b5dbdf0b75e4e25

Committed on 22/01/2013 8:07 am by Madeline VEYRENC <[email protected]> [GitHub Diff]

Renommage du fichier de settings suite au renommage de l'extension