]> gitweb.michael.orlitzky.com - sage.d.git/blob - makefile
More examples and a better implementation for random_element().
[sage.d.git] / makefile
1 clean:
2 find ./ -type f -name '*.pyc' -delete