You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Already for some time, we think about reverting back from the term aRT to the previous ERT and we started this already within the latest documentation, but there are still a few places in the code where the term aRT is used.
To be consistent, we should consider changing this also elsewhere. Right now aRT still appears in
quite a few places (mostly latex captions): https://github.com/numbbo/coco/search?p=2&q=aRT&unscoped_q=aRT
I don't think this has a high priority right now, but we might want to make an issue of it...
The text was updated successfully, but these errors were encountered:
Already for some time, we think about reverting back from the term
aRT
to the previousERT
and we started this already within the latest documentation, but there are still a few places in the code where the termaRT
is used.Remark from @ttusar:
The text was updated successfully, but these errors were encountered: