Avoid warning if already defined.
authorJan Schneider <jan@horde.org>
Wed, 12 May 2010 14:34:09 +0000 (16:34 +0200)
committerJan Schneider <jan@horde.org>
Wed, 12 May 2010 14:34:09 +0000 (16:34 +0200)
commitf8c60c2c4e7bbe3ed59b67649da2ac67e4d8f0c4
tree2b1f06cd8cbc86d0081c8d9cbf6639fb3a6d7234
parent67720bf52049284f4b697aea506a86766bfdc6dd
Avoid warning if already defined.
framework/bin/install_dev