diff options
| author | Fredrik Thulin <fredrik@thulin.net> | 2017-09-28 11:45:56 +0200 |
|---|---|---|
| committer | Fredrik Thulin <fredrik@thulin.net> | 2017-09-28 11:45:56 +0200 |
| commit | c10428e3b67c55d5395b6b6519ca778084b9b108 (patch) | |
| tree | 51e8ba278afb410fa14ee78aa8d4cfb8714d7b07 /convert.sh | |
| parent | d250856fcc6f01478725146a01669ffdc9d5c711 (diff) | |
re-run after fix to convertschema.pl to not ignore hidden designators
Diffstat (limited to 'convert.sh')
0 files changed, 0 insertions, 0 deletions