Revision 8b48075fbbd6c8e778374515a575e6e3b4553cf8

Committed on 20/01/2016 6:07 am by Mathieu Santo Stefano--Féron <msantostefano@jolicode.com> [GitHub Diff]

remove useless target-dir option