search

metamath / metamath-website-scripts

Scripts to set up the metamath website(s) so they're under version control, can be reviewed, and can be rerun. The scripts download the seed files from metamath-website-seed, databases from set.mm, etc.
MIT License
2 stars 3 forks source link

Add mirror setup #1

Closed david-a-wheeler closed 2 years ago

david-a-wheeler commented 2 years ago

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com