diff options
author | pgen <p.gen.progs@gmail.com> | 2019-09-04 23:37:21 +0200 |
---|---|---|
committer | pgen <p.gen.progs@gmail.com> | 2019-09-05 00:07:44 +0200 |
commit | a2adfc0f3c304aec4a573478838ea769c3f590a8 (patch) | |
tree | 911f7eee404d694a8383be69b11c9f450b522bfc /ctxopt.c | |
parent | f5d24933b42aaf50fdc6f01bc7047ad9bc340c59 (diff) |
Disable unused list management code
Also fix a bug introduced during the previous validation.
This bug is however harmless because this code is now disabled.
Diffstat (limited to 'ctxopt.c')
0 files changed, 0 insertions, 0 deletions