Revision 65712a8e934ea6a5129d510768ec194f36a56e14

Committed on 07/06/2013 1:01 am by Jérôme Vieilledent <[email protected]> [GitHub Diff]

Change legacy installer name