diff options
author | Marcin Szamotulski <coot@coot.me> | 2022-05-25 20:28:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-25 20:28:47 +0200 |
commit | ad3e6e766ef3716552dbe9b715f15c59d7003d5b (patch) | |
tree | d21333bc08144913f2e6737973491f38cd2bb108 /resources/html/Ocean.std-theme | |
parent | 4367a8ef514fe0781cbea745a0b72871080d28fc (diff) |
Use visibility to decide which interfaces are included in quickjump (#1490)
This is also consistent with how html index is build. See
haskell/cabal#7669 for rationale behind this decision.
Diffstat (limited to 'resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions