Changes between Initial Version and Version 1 of Ticket #31069, comment 28
- Timestamp:
- Feb 23, 2021, 4:59:08 PM (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31069, comment 28
initial v1 7 7 > Needs massive ifdef'ing if you still want to support flint <2.7 8 8 9 Thanks! I've prepared this in https://github.com/mkoeppe/e-antic/tree/flint-2.7, testing currently at https://github.com/mkoeppe/e-antic/actions/runs/5932 273579 Thanks! I've prepared this in https://github.com/mkoeppe/e-antic/tree/flint-2.7, testing currently at https://github.com/mkoeppe/e-antic/actions/runs/593267164