Martin Trigaux 761188dc57 [MERGE] Forward port 12.0 to 13.0		2020-06-25 09:45:37 +02:00
..
odoo	[MERGE] Forward port 12.0 to 13.0	2020-06-25 09:45:37 +02:00
demo_link.py	[FIX] _extensions: p3 compatibility (5)	2018-05-30 12:09:58 +02:00
embedded_video.py	[FIX] embedded video in https for vimeo	2015-12-03 15:49:40 +01:00
github_link.py	[FIX] _extension: build with sphinx 1.8	2018-09-26 16:19:01 +02:00
html_domain.py	[FIX] a pair of leftover warnings	2018-08-31 14:41:25 +02:00
redirects.py	[IMP] technical: add a static redirection feature for missing pages	2020-04-06 16:31:27 +02:00