You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When generating test cases for #950 , I've found out that generated html files don't end with a new line.
This results in git warning: No newline at end of file and is shown as red marker on GitHub:
The issue doesn't occur for other outputs (tex, man).