sage
ceebb704 - git --no-pager grep -l 'deprecation(' src/sage/schemes | xargs sed -i.bak '/ is deprecated; use /s/the function /The function /;/ is deprecated; use /s/ instead/ instead./'

Commit
1 year ago
git --no-pager grep -l 'deprecation(' src/sage/schemes | xargs sed -i.bak '/ is deprecated; use /s/the function /The function /;/ is deprecated; use /s/ instead/ instead./'
Author
Parents
Loading