Le 19/03/2014 23:09, Bastien ROUCARIES a écrit : > Yes but it is distributed as source
This is a non functional file, it can't be qualified as a 'source' file for this package. We aren't harming any freedom of the users by not providing the file in its preferred form of modification, because there is no point modifying it in the context of this package. Emmanuel Bourg -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
