diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-14 22:32:42 +0200 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-20 18:07:07 +0200 |
commit | 7debf052567f50d2c2510d80405069e53b0971bf (patch) | |
tree | 2a669dfd528dfcb9920f96e4b317fbafb7943ba7 /po/POTFILES.in | |
parent | 34624c72245b483e645efd281a27c9c9e210a19a (diff) |
server: add a resource server endpoint
Diffstat (limited to 'po/POTFILES.in')
-rw-r--r-- | po/POTFILES.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/po/POTFILES.in b/po/POTFILES.in index 0308b21..23f2693 100644 --- a/po/POTFILES.in +++ b/po/POTFILES.in @@ -81,6 +81,7 @@ src/scm/webid-oidc/server/endpoint/authentication.scm src/scm/webid-oidc/server/endpoint/client.scm src/scm/webid-oidc/server/endpoint/hello.scm src/scm/webid-oidc/server/endpoint/identity-provider.scm +src/scm/webid-oidc/server/endpoint/resource-server.scm src/scm/webid-oidc/server/endpoint/reverse-proxy.scm src/scm/webid-oidc/server/log.scm src/scm/webid-oidc/server/precondition.scm |