Algorithmique
Numérique
Distribuée Public GIT Repository |
2009-12-22 | mquinson | cosmetics | blob | commitdiff | raw |
2009-12-22 | mquinson | We also need transfig to build a dist | blob | commitdiff | raw | diff to current |
2009-12-22 | mquinson | Search the config file in the right location | blob | commitdiff | raw | diff to current |
2009-12-22 | mquinson | fix some glitches in make_dist.sh | blob | commitdiff | raw | diff to current |
2009-12-22 | mquinson | 2 new scripts: a central config file, and a distributio... | blob | commitdiff | raw | diff to current |