[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[   ]regexpatch.pdf2021-03-21 22:10 524K 
[TXT]regexpatch.dtx2021-03-21 22:10 57K 
[TXT]regexpatch.ins2021-03-21 22:10 852