This repository has been archived by the owner on Apr 12, 2024. It is now read-only.

__ANTIC_RELEASE #50

Closed

saraedum opened this issue Jun 25, 2020 · 1 comment

Member

saraedum commented Jun 25, 2020

Is there something like __FLINT_RELEASE that can be used to determine the version of ANTIC?

Collaborator

wbhart commented Jun 25, 2020

No, I don't believe there is. It's a good idea though.

saraedum closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.