client/img/refresh.png
author ymh <ymh.work@gmail.com>
Wed, 27 Jul 2016 13:55:18 +0200
changeset 633 fdff56da097d
parent 42 48d825187d67
permissions -rw-r--r--
allow to highlight edges. Add a url selector for edge + seach edges in edge box. remove max width of title
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
42
48d825187d67 Added Refresh button and Autorefresh
veltr
parents:
diff changeset
     1
(binary:image/png)