mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
Solution taken from here: https://github.com/readthedocs/sphinx_rtd_theme/issues/117 The LRM doesn't contain tables AFAICS so I didn't apply this patch. Change-Id: Ib6428f605613199b647dd04a297512c865cf7b12