Skip to content
GitLab
Explore
Sign in
Register
Tim Barnes
GHC
Repository
ghc
docs
users_guide
conf.py
Find file
Blame
History
Permalink
Set dynamic users-guide TOC spacing (fixes #18554)
· f41dfbf5
Tim Barnes
authored
Nov 23, 2020
f41dfbf5