actually no need to mux in the svp64_rm, just the id "is this svp64" is enough
[soc.git] / mypy.ini
2019-04-22 Jacob LifshayMerge remote-tracking branch 'origin/master'
2019-04-22 Jacob Lifshayadd mypy typechecker integration