texcleanup: adding option --re-sub
(#115)
#203
Job | Run time |
---|---|
27s | |
1m 7s | |
1m 24s | |
2m 58s |
--re-sub
(#115)
#203
Job | Run time |
---|---|
27s | |
1m 7s | |
1m 24s | |
2m 58s |