Changes between Initial Version and Version 1 of Ticket #31069, comment 28


Ignore:
Timestamp:
Feb 23, 2021, 4:59:08 PM (2 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #31069, comment 28

    initial v1  
    77> Needs massive ifdef'ing if you still want to support flint <2.7
    88
    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/593227357
     9Thanks! 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