mirror of
https://github.com/opensim/opensim.git
synced 2026-06-30 11:07:02 +08:00
number map. Instead, write the map to a file for later use. That is not yet used, so currently runtime errors after a sim restart will have wrong line numbers