diff run_mypy.sh @ 78:456dfdfd2be6

ide junk
author drewp@bigasterisk.com
date Mon, 04 Apr 2022 10:57:01 -0700
parents 541010f99d61
children
line wrap: on
line diff