Closed matthiasbeyer closed 9 years ago
This PR checks in the content generated by the generator script and finally removes this script.
This PR checks in the content generated by the generator script and finally removes this script.