IRC log for #stepcode on 20180725

`00:25.55`	`*** join/#stepcode infobot (ibot@208.53.50.136)`
`00:25.55`	`*** topic/#stepcode is STEPcode - data exchange with the technologies of ISO10303 \|\| http://stepcode.org \|\| LOG http://ibot.rikers.org/%23stepcode/`

Generated by irclog2html.pl Modified by Tim Riker to work with infobot.