Merge pull request #474 from fjullien/term_hist_auto_compl
authorenjoy-digital <florent@enjoy-digital.fr>
Sat, 2 May 2020 08:45:12 +0000 (10:45 +0200)
committerGitHub <noreply@github.com>
Sat, 2 May 2020 08:45:12 +0000 (10:45 +0200)
commit705d388745e35c0360051646818da68917ecfb58
tree0678a1c9c2cf2c4d640d38869ac9403fd6a8ab79
parente853cac6b618a226d8213789724be6b3786d65ed
parent74dc444b02ec437d13eae26aeb4939ee6bd6282b
Merge pull request #474 from fjullien/term_hist_auto_compl

Terminal: add history and auto completion