Skip to content

use editline instead of linenoise(-ng)#2228

Merged
edolstra merged 3 commits intoNixOS:masterfrom
dtzWill:feature/editline-pr
Nov 13, 2018
Merged

use editline instead of linenoise(-ng)#2228
edolstra merged 3 commits intoNixOS:masterfrom
dtzWill:feature/editline-pr

Commits

Commits on Oct 29, 2018