Age | Commit message (Expand) | Author |
---|---|---|
2018-02-01 | Doc nits | jao |
2017-05-03 | Avoiding travis badget in the web page | jao |
2012-06-04 | News/Readme updates (including making them github-friendlier)0.15 | Jose Antonio Ortega Ruiz |
2011-09-20 | web generation files added | Jose Antonio Ortega Ruiz |