server/java/gradle/wrapper/gradle-wrapper.jar
author rougeronj
Fri, 18 Sep 2015 15:58:21 +0200
changeset 532 030f2e4c0664
parent 316 242510015401
permissions -rw-r--r--
close the edge popup editor as soon as the edge get hidden again

(binary:application/octet-stream)