Code

Add permalinks to headers (#189)#246

Code

Merged

sgrossberndt merged 1 commit intochanges_for_v1.1VDVde/OJP:changes_for_v1.1from permalinks-on-headersVDVde/OJP:permalinks-on-headersCopy head branch name to clipboardOct 11, 2022

+90-7

Commits

Commits on Oct 11, 2022

• Permalinks on headers (#189)

  

  jmaerki

  authored and

  sgrossberndt

  committed
  4294455