mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-30 09:58:55 +02:00
the time the option was implemented), and also implemented (and documented!) a similar command option "extract stepsize" for reporting or changing the extraction step size.