project_files/web/pre.js
author Wuzzy <Wuzzy2@mail.ru>
Thu, 29 Nov 2018 03:26:35 +0100 (2018-11-29)
changeset 14339 efd2e8e217c9
parent 11796 50a462b9454a
permissions -rw-r--r--
Construction Mode: Fix girder/rubber cost not being updated correctly after selection