diff options
Diffstat (limited to 'web')
| -rwxr-xr-x | web/src/pubcookie/wp_gssapi_proxy | bin | 28756 -> 0 bytes |
| -rwxr-xr-x | web/src/pubcookie/wp_tclsh | bin | 22279 -> 0 bytes |
| -rwxr-xr-x | web/src/pubcookie/wp_uidmapper | bin | 34929 -> 0 bytes |
| -rwxr-xr-x | web/src/pubcookie/wp_umc | bin | 21337 -> 0 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/web/src/pubcookie/wp_gssapi_proxy b/web/src/pubcookie/wp_gssapi_proxy Binary files differdeleted file mode 100755 index c0c2f33f..00000000 --- a/web/src/pubcookie/wp_gssapi_proxy +++ /dev/null diff --git a/web/src/pubcookie/wp_tclsh b/web/src/pubcookie/wp_tclsh Binary files differdeleted file mode 100755 index 99528161..00000000 --- a/web/src/pubcookie/wp_tclsh +++ /dev/null diff --git a/web/src/pubcookie/wp_uidmapper b/web/src/pubcookie/wp_uidmapper Binary files differdeleted file mode 100755 index 8f806e5b..00000000 --- a/web/src/pubcookie/wp_uidmapper +++ /dev/null diff --git a/web/src/pubcookie/wp_umc b/web/src/pubcookie/wp_umc Binary files differdeleted file mode 100755 index 6fe5cd36..00000000 --- a/web/src/pubcookie/wp_umc +++ /dev/null |