https://pantsbuild.org/ logo
#development
Title
# development
w

witty-crayon-22786

09/15/2022, 9:48 PM
One challenge here is if we do want to keep it that RE can work when n=0 for RE targets.
oh. hm… i think that it would be ok to just deprecate the global platform-properties