diff --git a/.gitignore b/.gitignore index d10f0c9..dee2188 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +*.bc *.o *.so diff --git a/src/http_client.bc b/src/http_client.bc deleted file mode 100644 index 9a1ce27..0000000 Binary files a/src/http_client.bc and /dev/null differ diff --git a/src/jwk.bc b/src/jwk.bc deleted file mode 100644 index 8034ccf..0000000 Binary files a/src/jwk.bc and /dev/null differ diff --git a/src/pg_oidc_validator.bc b/src/pg_oidc_validator.bc deleted file mode 100644 index c75b1ed..0000000 Binary files a/src/pg_oidc_validator.bc and /dev/null differ