Index of /pub/Linux/dist/sourcemage/codex/test/utils/translate-shell

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]DETAILS2020-10-23 02:00 883  
[ ]HISTORY2020-10-23 02:00 825  
[ ]DEPENDS2017-06-12 17:00 307  
[ ]INSTALL2017-06-12 17:00 42  
[ ]BUILD2017-06-12 17:00 5  
Apache/2.4.66 (Debian) Server at ftp.mizar.org Port 443