mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +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.