[issue24498] Should ptags and eptags be removed from repo?

2021-03-15 Thread Zackery Spytz
Change by Zackery Spytz : -- keywords: +patch nosy: +ZackerySpytz nosy_count: 1.0 -> 2.0 pull_requests: +23631 stage: needs patch -> patch review pull_request: https://github.com/python/cpython/pull/24869 ___ Python tracker

[issue24498] Should ptags and eptags be removed from repo?

2015-06-26 Thread Terry J. Reedy
Changes by Terry J. Reedy tjre...@udel.edu: -- components: +Demos and Tools stage: - needs patch title: Shoudl ptags and eptags be removed from repo? - Should ptags and eptags be removed from repo? type: - enhancement versions: +Python 3.6 ___