Name Last modified Size Description Parent Directory - regexpatch.ins 2021-03-21 21:10 852 README 2021-03-21 21:10 1.2K regexpatch.dtx 2021-03-21 21:10 57K regexpatch.pdf 2021-03-21 21:10 524K