tree 4be0f4707758f9b44138276d61c16ed0c28ca980
parent 805d02c3d503754630a334772545c92c0a84628f
parent 68fd32ebdf145d7877d0d495b4f167709f9d5447
author Jan Kundrát <jan.kundrat@cesnet.cz> 1606210254 +0100
committer Gerrit Code Review <gerrit@gerrit.cesnet.cz> 1606210254 +0100

Merge "Remove unused script"