tree 6408d3a0f37748715e5a527741193bfd7f9d352c
parent 8b5a449c828bfe7981860de4120aaefdbc161b92
author David Horstmann <david.horstmann@arm.com> 1673893800 +0000
committer David Horstmann <david.horstmann@arm.com> 1674575616 +0000

Remove unnecessary "Line length options" heading

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