projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7a434cd 76c9e1c)
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)
Frontend: allow reading file input from stdin, like a REPL heredoc mode


Trivial merge