not really known
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Michal 43aa9b669e
.gitignore and workspace fix
2 years ago
packages-any New Malachite 2.0.0 format 2 years ago
packages-extra New Malachite 2.0.0 format 2 years ago
packages-x86_64 New Malachite 2.0.0 format 2 years ago
workspace .gitignore and workspace fix 2 years ago
.gitignore .gitignore and workspace fix 2 years ago
README.md Create README.md 2 years ago

README.md

mlc-configs

This repo contains the mlc files for all of our repositories, as well as an example workspace mlc file for quickly setting up a crystal development environment