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)
Terminal: add history and auto completion


Trivial merge