Revision fa9c0c38
ID | fa9c0c380415aa597bfa33b03011db662dfdaf79 |
Modify printing methods to use more stream types
Also, replace page_hold with pydoc.pager
Files
- added
- modified
- copied
- renamed
- deleted
ID | fa9c0c380415aa597bfa33b03011db662dfdaf79 |
Added by Stavros Sachtouris almost 11 years ago
Modify printing methods to use more stream types
Also, replace page_hold with pydoc.pager