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