Message294650
> Would it help if pipe the output of dis() through a pager
> if the output file and stdin are attached to a terminal?
-1 for adding a pager. |
|
| Date |
User |
Action |
Args |
| 2017-05-28 17:47:00 | rhettinger | set | recipients:
+ rhettinger, ncoghlan, belopolsky, pitrou, vstinner, torsten, berker.peksag, serhiy.storchaka, jleedev, matrixise, Todd Dembrey |
| 2017-05-28 17:47:00 | rhettinger | set | messageid: <[email protected]> |
| 2017-05-28 17:46:59 | rhettinger | link | issue11822 messages |
| 2017-05-28 17:46:59 | rhettinger | create | |
|