summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorjvoisin2018-07-09 00:13:16 +0200
committerjvoisin2018-07-09 00:13:16 +0200
commitbd357b85f866c8377f1d2a71f09ec2f4223c1592 (patch)
treeaebdbdb48fc94029b60345eccc6afe54c8c5127b /doc
parent8c21006e6c2959a55ce8cb80758564eeea2ebde8 (diff)
Remove a useless option that was never implemented anyway
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions