project_files/web/pre.js
author Wuzzy <Wuzzy2@mail.ru>
Thu, 10 Jan 2019 18:45:04 +0100
changeset 14547 e68b91abbcf5
parent 11801 50a462b9454a
permissions -rw-r--r--
Tweak appear/disappear animation of touch widgets
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines: