Changes between Initial Version and Version 1 of Ticket #13849, comment 4
- Timestamp:
- Dec 20, 2012, 9:20:48 PM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #13849, comment 4
initial v1 7 7 But I guess we won't find the time for this on short notice. (It might me a good idea, if we switch to cython upstream. This might be happen, but also not on short notice.) 8 8 9 So, -langerredekurzersinn- finally removing `DegRevLex` seem to be the best feasible way.9 So, -langerredekurzersinn- finally deprecating `DegRevLex` seem to be the best feasible way. 10 10 11 11