commit | cc4134d97e04d43e97dca9598b7fcbe20bf7642f | [log] [tgz] |
---|---|---|
author | Ethan Mahintorabi <ethanmoon@google.com> | Thu Apr 21 08:03:15 2022 -0500 |
committer | GitHub <noreply@github.com> | Thu Apr 21 08:03:15 2022 -0500 |
tree | aa25e31ca1ef58520e5875bd56ed70643645f426 | |
parent | f70d8ca46961ff92719d8870a18a076370b85f6c [diff] | |
parent | 5d0ba2fb8bfb10fb1db630644d03474c466827b2 [diff] |
Merge pull request #367 from umarcor/umarcor/no-yosys docs/environment: do not require yosys