https://github.com/GPflow/GPflow
Revision 8dc912ee0bac404795e0ff5667774169e1428476 authored by st-- on 06 October 2020, 12:37:15 UTC, committed by GitHub on 06 October 2020, 12:37:15 UTC
* fix heading levels

* add cross-references
1 parent 7d6a6da
History
Tip revision: 8dc912ee0bac404795e0ff5667774169e1428476 authored by st-- on 06 October 2020, 12:37:15 UTC
Fix notebook heading levels and add links (#1579)
Tip revision: 8dc912e

back to top