tzaeschke opened a new pull request #20: URL: https://github.com/apache/db-jdo-site/pull/20
This removes unused release `.cgi` files and duplicate PDFs from the docs and resources folder. The PDFs are now all in the resources folder. However, since they are not referenced from anywhere in the website, we should consider removing them. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org