diff options
| author | Michael Williamson <mike@zwobble.org> | 2015-10-17 16:59:05 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2015-10-17 16:59:05 +0100 |
| commit | a97acb1a85c588a38a4a8a8b761beddb71cb960a (patch) | |
| tree | 658f878936c3fcdbca452feb8dc972ac3449b21b /src/main/resources | |
| parent | 886358792f8b2bee4fb2a2e16b8f34162be50cfe (diff) | |
Use String instead of int for declaration IDs
Diffstat (limited to 'src/main/resources')
0 files changed, 0 insertions, 0 deletions