Closed HazardousPeach closed 6 years ago
Adds fpcore ranges mode, and makes it the default. This mode outputs ranges as :pre attributes in FPCore, instead of as separate metadata. The old behaviour is available with the flag --no-fpcore-ranges.
:pre
--no-fpcore-ranges
Adds fpcore ranges mode, and makes it the default. This mode outputs ranges as
:preattributes in FPCore, instead of as separate metadata. The old behaviour is available with the flag--no-fpcore-ranges.