Changes between Initial Version and Version 1 of Ticket #2363, comment 7
- Timestamp:
- 03/28/15 09:02:34 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #2363, comment 7
initial v1 1 r12264: fixed a bug in the simplifier introduced with r12262 (an a few minor code improv ments)1 r12264: fixed a bug in the simplifier introduced with r12262 (an a few minor code improvements)