Revision 65712a8e934ea6a5129d510768ec194f36a56e14

Committed on 07/06/2013 1:01 am by Jérôme Vieilledent <lolautruche@gmail.com> [GitHub Diff]

Change legacy installer name