mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-02 11:08:30 +02:00
from "labeled" to "tagged", since there is already an operator called "labels", which is confusing.
from "labeled" to "tagged", since there is already an operator called "labels", which is confusing.