Please make sure that JavaScript is enabled in your browser. If you are using a browser extension to selectively enable or disable JavaScript, make sure it's enabled for this server.
Review Request #45 — Created Oct. 4, 2023 and submitted Oct. 6, 2023, 3:43 p.m. — Latest diff uploaded Oct. 4, 2023, 6:27 p.m.
show interface info in show tech
add show_interface function in ui_show_tech()
