tree 072e3ce61f974f0de9ada814c618b037e376e677
parent bf083ec218231758bade36bab0eae24e0150f961
parent 435706e27ef86b6ddfde8db93444a7e953f29f15
author Jan Kundrát <kundrat@cesnet.cz> 1551372659 +0100
committer Gerrit Code Review <gerrit@gerrit.cesnet.cz> 1551372659 +0100

Merge "Add persistent line history"