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 | 1 |
1 files changed, 0 insertions, 1 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 index e7fa44b34d1..7e0fafdad83 100644 --- a/apps/files_external/3rdparty/irodsphp/prods/src/Prods.inc.php +++ b/apps/files_external/3rdparty/irodsphp/prods/src/Prods.inc.php @@ -1,4 +1,3 @@ <?php require_once("autoload.inc.php"); require_once("ProdsConfig.inc.php"); -?>
\ No newline at end of file |