stable header ids #35
Description
Sooner or later I would like to set stable ids at least for most referred headers
Depends upon DavidLeoni/jupman#80
{{ message }}
Sooner or later I would like to set stable ids at least for most referred headers
Depends upon DavidLeoni/jupman#80