| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** jossi_1 <[email protected]> has joined #yosys | 15:02 | |
| *** jossi <[email protected]> has quit IRC (Connection closed) | 15:02 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!