diff options
| author | Nick Wellnhofer <wellnhofer@aevum.de> | 2014-11-29 18:49:46 +0100 |
|---|---|---|
| committer | Nick Wellnhofer <wellnhofer@aevum.de> | 2014-11-29 21:49:14 +0100 |
| commit | a05151f75aa93a16b39333ba3d30e31930d61dec (patch) | |
| tree | 0b6ba0161fc3915e69849b44440d77d63032b36b /man/make_man_page.py | |
| parent | 51a0aa703209b831dce503b88655951b24957b51 (diff) | |
Remove redundant code
next/prev pointers are handled by cmark_node_free.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions