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