mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-01 10:39:43 +02:00
and a lot of construction mess. Resolved conflicts after rebasing on master, since both were modifying the list of options to "extract".