cleanup

leanprover-community · Aug 25, 2024 · 8815759 · 8815759
1 parent 6c023ec
commit 8815759
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/client/src/Popups/PrivacyPolicy.tsx b/client/src/Popups/PrivacyPolicy.tsx
@@ -19,11 +19,9 @@ const PrivacyPopup: FC<{
     <p>We don't use cookies but you can choose to save the settings in the browser store
       by activating the option in the settings.
     </p>
-
     { lean4webConfig.serverCountry &&
       <p>Our server is located in {lean4webConfig.serverCountry}.</p>
     }
-
     { lean4webConfig.contactDetails &&
       <p>
         <strong>Contact details</strong><br/>

diff --git a/client/src/assets/react.svg b/client/src/assets/react.svg