project_files/web/pre.js
author nemo
Tue, 09 Oct 2018 12:54:40 -0400
changeset 13879 6b2c87490f0a
parent 11796 50a462b9454a
permissions -rw-r--r--
drop the error checked StrToInt as non-critical - pas2c did not implement it.