summaryrefslogtreecommitdiffhomepage
path: root/web
AgeCommit message (Expand)Author
2018-02-01Doc nitsjao
2017-05-03Avoiding travis badget in the web pagejao
2012-06-04News/Readme updates (including making them github-friendlier)0.15Jose Antonio Ortega Ruiz
2011-09-20web generation files addedJose Antonio Ortega Ruiz