EOF & whitespace

2024-11-29 00:54:09 +01:00
parent e7e98d0b47
commit 7fcc5afc64
60 changed files with 4173 additions and 4192 deletions
@@ -765,4 +765,4 @@ div.math:hover a.headerlink {
    #top-link {
        display: none;
    }
-}
+}