google/jsonnet

Jsonnet.org - make headers links

ghostsquad opened this issue · 0 comments

ghostsquad commented

It would be very nice to have headers be linkable so I can refer to specific things within the tutorial or reference pages!