dev-context

dev-context@ntg.nl

October 2022

  • 2 participants
  • 3 discussions
named destinations for lists
by Pablo Rodriguez 24 Oct '22

24 Oct '22
fix for named destinations in URLs
by Pablo Rodriguez 16 Oct '22

16 Oct '22
fix for footnote hyperlink
by Pablo Rodriguez 15 Oct '22

15 Oct '22