aboutsummaryrefslogtreecommitdiff
path: root/make-wrl-files.sh
diff options
context:
space:
mode:
authorFredrik Thulin <fredrik@thulin.net>2018-05-14 21:03:08 +0200
committerFredrik Thulin <fredrik@thulin.net>2018-05-14 21:03:08 +0200
commit4b0646c8c97fed2394ef0d4ddb0e0335b22c25a8 (patch)
tree109a17850cbd367216fe2d14fd6a1e644e134deb /make-wrl-files.sh
parentfeec57312c696335a647ed679d2da73889fbbe78 (diff)
Sort the elements of the symbols too
Diffstat (limited to 'make-wrl-files.sh')
0 files changed, 0 insertions, 0 deletions