From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 15 May 2014 15:15:52 +0000 (+0200)
Subject: remove unused Extension in setup
X-Git-Tag: nodemanager-5.2-14~22
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=0a82e5d999260aaf0acbfc2864ccf098cccbfe96;hp=0a82e5d999260aaf0acbfc2864ccf098cccbfe96;p=nodemanager.git

remove unused Extension in setup
---