Merge pull request #1896 from boqwxp/read_stdin_repl
authorwhitequark <whitequark@whitequark.org>
Thu, 16 Apr 2020 17:18:29 +0000 (17:18 +0000)
committerGitHub <noreply@github.com>
Thu, 16 Apr 2020 17:18:29 +0000 (17:18 +0000)
commitc2804a68c2d4d198e72be7a8c0164093c1e62fce
tree24a367fc1c275c44c0d7cc7a31644d12a903265f
parent7a434cdd7baf4ffdac5497c3e6783f2bb0e0bac6
parent76c9e1c26505894546610cb06ff9a861c1be5859
Merge pull request #1896 from boqwxp/read_stdin_repl

Frontend: allow reading file input from stdin, like a REPL heredoc mode