Commit Graph

1 Commits

Author SHA1 Message Date
Dimitri Fontaine
9e574ce884 Rename web/ into docs/
This allows to benefit from github pages without having to maintain a
separate orphaned branch.
2016-08-19 20:55:29 +02:00