replaces amalgamation tool

The tool used before created a lot of duplicates inside the generated amalgamation. The new tool is a single Python file which seems to do the same job.
This commit is contained in:
Niels Lohmann 2018-01-09 23:15:06 +01:00
parent 0a2920e0fd
commit ce53537ba2
No known key found for this signature in database
GPG key ID: 7F3CEA63AE251B69
3 changed files with 123 additions and 3873 deletions

File diff suppressed because it is too large Load diff