shortlog
| Tue, 28 Aug 2018 15:07:01 +0200 | David Douard | [hp34970] replace dailymotion by peertube for embedded video | changeset | files |
| Tue, 28 Aug 2018 15:05:01 +0200 | David Douard | improve hgignore | changeset | files |
| Tue, 28 Aug 2018 15:00:39 +0200 | David Douard | [theme] ensure pygments.css is included | changeset | files |
