tree d598fce0a19f297895ee18bb91948d4c5691d801
parent 73e3bf29c89e4bf0cecea3f24298101fa21be9a3
author Václav Kubernát <kubernat@cesnet.cz> 1550072960 +0100
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1551371476 +0100

Switch from linenoise to replxx

Change-Id: Id3e04eca8dbd7e68cef080713296fef3fdc683c5