projects / horde.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83eeec7) | patch
Don't fatal out if one of these applications is not activated.
authorMichael J. Rubinsky <mrubinsk@horde.org>
Fri, 16 Apr 2010 16:38:00 +0000 (12:38 -0400)
committerMichael J. Rubinsky <mrubinsk@horde.org>
Fri, 16 Apr 2010 16:38:00 +0000 (12:38 -0400)
commit5e840af70817ab1fe62c8a9b1bd18f097a7c89f8
tree372758117036f657a4acd9813f77bdf88722a45atree | snapshot
parent83eeec74d96cf60a6e82fc508b65f822cda21104commit | diff
Don't fatal out if one of these applications is not activated.
imp/config/portal.php.dist diff | blob | history
Unnamed repository; edit this file to name it for gitweb.