Le 19/09/2014 17:24, sebb a écrit : > The source archive does not agree with SVN, as it is missing several files: > > LICENSE-header.txt > checkstyle.xml > docs/verifier/chap1.bmp > docs/verifier/chap1.eps
Thank you for the review sebb. These files are not required to build the code, so I think it's fine it they are missing from the source archive. Also note they weren't in the source archive of the previous release, so this isn't a regression. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
