tree 0fb7b77bf41bce41c03ae13d368468903531cf2d
parent a27d8722288747679db58f1256ad79290db73644
author David Horstmann <david.horstmann@arm.com> 1673893800 +0000
committer David Horstmann <david.horstmann@arm.com> 1674585792 +0000

Remove unnecessary "Line length options" heading

Signed-off-by: David Horstmann <david.horstmann@arm.com>