Commit Graph

2 Commits

Author SHA1 Message Date
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Timo Kaufmann
23908a0ee3 sage: downgrade maxima to 5.41
See discussion at
82254747af.
2019-03-09 17:23:57 +01:00