Index of /packages/mhonarc/2.6.4/etc
Name
Last modified
Size
Description
Parent Directory
-
version-check.pl
2002-04-04 06:28
704
variables.mk
2003-01-04 05:44
1.4K
tar-exclude
2003-05-19 11:37
94
rules.mk
2003-05-19 11:37
1.1K
release-mhonarc
2002-05-14 21:42
461
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443