Michael Martin 41bf01d035 Convert Ophis to Python 3. ... Most of the work is handled by 2to3, but there's a few extra tricks needed to finish the job, mostly about picking the right bits to be Unicode and the right bits to be bytes.		2019-01-09 20:45:01 -08:00
..
ophis	Convert Ophis to Python 3.	2019-01-09 20:45:01 -08:00