Open cedricdcc opened 2 weeks ago
Allow sema to delegate commands like sema xyz {xyz-args} to corresponding sema-xyz {xyz-args}.
sema xyz {xyz-args}
sema-xyz {xyz-args}
Links to #2 , #4
Allow sema to delegate commands like
sema xyz {xyz-args}
to correspondingsema-xyz {xyz-args}
.