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