Algorithmique
Numérique
Distribuée Public GIT Repository |
2009-12-22 | mquinson | Fix some small glitches | tree | commitdiff |
2009-12-22 | mquinson | convert to shell functions | tree | commitdiff |
2009-12-22 | mquinson | cosmetics | tree | commitdiff |
2009-12-22 | mquinson | New script: wait the distribution to be in position | tree | commitdiff |
2009-12-22 | mquinson | We also need transfig to build a dist | tree | commitdiff |
2009-12-22 | mquinson | Search the config file in the right location | tree | commitdiff |
2009-12-22 | mquinson | fix some glitches in make_dist.sh | tree | commitdiff |
2009-12-22 | mquinson | 2 new scripts: a central config file, and a distributio... | tree | commitdiff |
2009-12-22 | mquinson | Tiny cleanups | tree | commitdiff |
2009-12-22 | mquinson | Try to cleanup a bit the cmake-related scripts | tree | commitdiff |