Skip to content
Snippets Groups Projects
user avatar
Hugo van Kemenade authored
* Remove redundant footnote ref: the footnote has been removed
* Fix footnote ref to match footnote
* Convert footnotes into reST footnotes: will error if missing
788ef54b
History
Name Last commit Last update