Is there any utility to convert Python sources from space-based
block indentation to tab-based?
You can use "expand" convert from tabs->spaces, but "unexpand"
isn't bright enough to do the reverse.
--
Grant Edwards grante Yow! By MEER biz doo
at SCHOIN...
visi.com