| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| Objects.json | JavaScript Object Notation | 1 | 7KB | 2008-01-19 |
| Properties.json | JavaScript Object Notation | 1 | 27KB | 2008-01-19 |
| VariantType.json | JavaScript Object Notation | 1 | 506b | 2008-01-19 |
| Version.json | JavaScript Object Notation | 1 | 69b | 2008-01-19 |