project_files/web/pre.js
author nemo
Fri, 11 Jan 2019 08:08:28 -0500 (2019-01-11)
changeset 14554 397b2f4502c1
parent 11796 50a462b9454a
permissions -rw-r--r--
couple more use after frees for gear deletion. also rearranged lines a bit and added a redundant exit to try to proof things a bit. more evidence we need rust.