tree 95619c1ccd7f9a09932c4dfe948fa87c1dfaffb1
parent 26dbe13f46d690ed1a88314df0874c63e2e40174
parent 0947e64b4f1cb95d66a66e9322446ffa2663468d
author Václav Kubernát <kubernat@cesnet.cz> 1552654386 +0100
committer Gerrit Code Review <gerrit@gerrit.cesnet.cz> 1552654386 +0100

Merge "Remove unused linenoise"