New safe make target
The "safe" target will build whatever is needed to ensure that no race will occur.
ci/check.sh
0 → 100755
doc/convergence.csv
0 → 100644
This diff is collapsed.
doc/examples.am
0 → 100644
This diff is collapsed.
get-version.sh
0 → 100755
Please register or sign in to comment