project_files/web/pre.js
author Wuzzy <Wuzzy2@mail.ru>
Fri, 16 Mar 2018 19:05:11 +0100
changeset 13228 d23742ccf92b
parent 11796 50a462b9454a
permissions -rw-r--r--
Frontend: Properly “gray out” most disabled widgets (a lot of them weren't)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines: