summaryrefslogtreecommitdiff
path: root/tools/sage.json
AgeCommit message (Expand)Author
2014-09-29adding sage.json: Fixes #19Alon Levy