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