Changes between Version 12 and Version 13 of Ticket #7749
- Timestamp:
- Dec 23, 2011, 5:35:41 PM (12 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #7749 – Release Notes
v12 v13 1 Phased out the !Silver tCity-based highlighter by moving it to `tracopt`.1 Phased out the !SilverCity-based highlighter by moving it to `tracopt`.