Edit on Github
2 contributor(s):
Last change: Improve definition split (#876)
* bring back headers
headers were previously removed by mistake, now bringing them back
* add new lines and rename the tag
add the word 'short' in it
* unify newlines
make exactly one newline before and two after the tag
* resolving typos
Because bringing back headers required to go back in time to previous version, I'm now re-resolving the issues: #861, #860, #856 by ArturTomczak on 2024-07-16T16:07:28+02:00
Is this page difficult to understand? Let us know!
