Also fun: The git man-page
generator http://git-man-page-generator.lokaltog.net/
On Saturday, October 31, 2015 at 4:00:39 AM UTC+1, kcrisman wrote:
>
> http://xkcd.com/1597/
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from
>
> so I guess the optional='internet' hasn't been running yet when people do
> tests...
>
No, it hasn't. So far only the (new style) optional packages are
automatically detected and tested.
I started (and gave up) an attempt to bring this further:
http://trac.sagemath.org/ticket/18904
I
