Skip to content
GitLab
Commit bb02b7d8 authored by Kenneth Hoste's avatar Kenneth Hoste Committed by GitHub
Browse files

Merge pull request #4368 from rjeschmi/sage-rename 

rename S.A.G.E. to SAGE, can't have directories with trailing dot in Windows
parents d3d314b5 d7ce8c79
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment