diff options
Diffstat (limited to 'apps/files_external/3rdparty/irodsphp/prods/src/Prods.inc.php')
| -rw-r--r-- | apps/files_external/3rdparty/irodsphp/prods/src/Prods.inc.php | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/apps/files_external/3rdparty/irodsphp/prods/src/Prods.inc.php b/apps/files_external/3rdparty/irodsphp/prods/src/Prods.inc.php deleted file mode 100644 index 7e0fafdad83..00000000000 --- a/apps/files_external/3rdparty/irodsphp/prods/src/Prods.inc.php +++ /dev/null @@ -1,3 +0,0 @@ -<?php -require_once("autoload.inc.php"); -require_once("ProdsConfig.inc.php"); |