]> gitweb.michael.orlitzky.com - sage.d.git/blob - mjo/.gitignore
mjo/**/*.py: drop obsolete set_random_seed().
[sage.d.git] / mjo / .gitignore
1 *.pyc