Ensure that we have an empty line at the end of header

Frama-C / headache

Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).

Other

24 stars 7 forks source link

Closed vprevosto closed 4 months ago

vprevosto commented 4 months ago

Work around zealous IDE that automatically suppress empty lines at end of files :shrug: