Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nextcloud/server.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Müller <thomas.mueller@tmit.eu>2013-07-12 17:08:13 +0400
committerThomas Müller <thomas.mueller@tmit.eu>2013-07-12 17:08:13 +0400
commit01378e19072b89c33af85a8a12a37f6c898e0941 (patch)
tree3454866ce19b9fc5eb48c7c3bf632bb767afb3d1 /apps/files_external/3rdparty/irodsphp/prods/src/Prods.inc.php
parent481bb831bb898399a01495fb6d3b07ca44a02f17 (diff)
incorporate development branch of ssh://irodsguest@code.renci.org/gitroot/irodsphp
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.php4
1 files changed, 4 insertions, 0 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
new file mode 100644
index 00000000000..e7fa44b34d1
--- /dev/null
+++ b/apps/files_external/3rdparty/irodsphp/prods/src/Prods.inc.php
@@ -0,0 +1,4 @@
+<?php
+require_once("autoload.inc.php");
+require_once("ProdsConfig.inc.php");
+?> \ No newline at end of file