From 5e53da0afae9ca253e59ce3ea00f2a3e6665eba6 Mon Sep 17 00:00:00 2001 From: Pierre Hubert Date: Thu, 27 Apr 2023 18:35:11 +0200 Subject: [PATCH] Remove empty module --- src/data/mod.rs | 1 - src/data/open_id_user_info.rs | 1 - 2 files changed, 2 deletions(-) delete mode 100644 src/data/open_id_user_info.rs diff --git a/src/data/mod.rs b/src/data/mod.rs index c45df9a..8bcf253 100644 --- a/src/data/mod.rs +++ b/src/data/mod.rs @@ -9,7 +9,6 @@ pub mod entity_manager; pub mod id_token; pub mod jwt_signer; pub mod login_redirect; -pub mod open_id_user_info; pub mod openid_primitive; pub mod provider; pub mod provider_configuration; diff --git a/src/data/open_id_user_info.rs b/src/data/open_id_user_info.rs deleted file mode 100644 index 8b13789..0000000 --- a/src/data/open_id_user_info.rs +++ /dev/null @@ -1 +0,0 @@ -