changelog
- Tue, 28 Aug 2018 15:07:01 +0200
- by David Douard <david.douard@logilab.fr> [Tue, 28 Aug 2018 15:07:01 +0200] rev 108
- [hp34970] replace dailymotion by peertube for embedded video
- Tue, 28 Aug 2018 15:05:01 +0200
- by David Douard <david.douard@logilab.fr> [Tue, 28 Aug 2018 15:05:01 +0200] rev 104
- improve hgignore
- Tue, 28 Aug 2018 15:00:39 +0200
- by David Douard <david.douard@logilab.fr> [Tue, 28 Aug 2018 15:00:39 +0200] rev 103
- [theme] ensure pygments.css is included