server: remove useless casts
[rb-79.git] / tools / 
tree75fe8a68f006dd928a1384bf0a4b6f8b03450ce8
drwxr-xr-x   ..
-rwxr-xr-x 12154 gen-unicode-transforms.pl
-rwxr-xr-x 2069 rb79-describe-file.sh