diff --git a/doc/derive/.gitignore b/doc/derive/.gitignore new file mode 100644 index 0000000..7c974cf --- /dev/null +++ b/doc/derive/.gitignore @@ -0,0 +1 @@ +*.sage.py