From 6307f83cc33b6e3f0c4b01ae3286ca42ac31e146 Mon Sep 17 00:00:00 2001
From: erikjohnston <erikjohnston@users.noreply.github.com>
Date: Tue, 12 Dec 2023 17:47:01 +0000
Subject: deploy: e85e0ef6ba9259167838d641a4f9f64b2589963f

---
 develop/sso_mapping_providers.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'develop/sso_mapping_providers.html')

diff --git a/develop/sso_mapping_providers.html b/develop/sso_mapping_providers.html
index c41d27b51f..1865ccd042 100644
--- a/develop/sso_mapping_providers.html
+++ b/develop/sso_mapping_providers.html
@@ -458,4 +458,4 @@ specified in the config. It is located at
         <script type="text/javascript" src="docs/website_files/version-picker.js"></script>
         <script type="text/javascript" src="docs/website_files/version.js"></script>
     </body>
-</html>
\ No newline at end of file
+</html>
-- 
cgit 1.5.1