Revision 23784f07abb46d18e63cec7e94a7c5965494c845

Committed on 06/06/2014 2:45 am by Jérôme Vieilledent <lolautruche@gmail.com> [GitHub Diff]

Removed ant directory