Open muzimuzhi opened 6 months ago
from https://github.com/muzimuzhi/thmtools/issues/34#issuecomment-1435914915
(Off the top of my head hence might be inaccurate and even totally wrong.)
kvsetkeys
from https://github.com/muzimuzhi/thmtools/issues/34#issuecomment-1435914915
(Off the top of my head hence might be inaccurate and even totally wrong.)
kvsetkeys
.kvsetkeys
by default and perhaps provide a new package option to enable them.