end of file Fix (#17308)

* end of file Fix

* fix those lints too
This commit is contained in:
Kashargul
2025-03-10 21:15:35 +01:00
committed by GitHub
parent ae85941c35
commit 1def015bad
537 changed files with 609 additions and 654 deletions
@@ -131,4 +131,4 @@
set src in view(1)
src.program:initiate_undocking()
*/
*/