log python/strip_unicode.py @ 912:5d9c08d2a090 default tip

age author description
Wed, 24 Mar 2021 12:58:23 -0700 Jeff Hammel add script to remove unicode