Index of /~michael/unix/sed

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]v7vol1.p155-157.pdf1998-12-11 06:02 8.4K 
[   ]sed.odp2021-03-17 18:10 21K 
[   ]ttt2024-01-21 22:00 42K 
[   ]sed.old.pdf2021-02-17 19:08 78K 
[   ]sed.pdf2021-03-17 18:10 80K 

Apache/2.4.62 (Debian) Server at mpaoli.net Port 443