diff options
| author | Tobias Hunger <tobias.hunger@qt.io> | 2018-07-03 11:22:27 +0200 |
|---|---|---|
| committer | Tobias Hunger <tobias.hunger@qt.io> | 2018-07-05 13:02:00 +0000 |
| commit | b59ecaacb07ca826dd3b1f104593276bffbb5193 (patch) | |
| tree | f57249c44f385b75d0f056415574ae48d08eb062 /src/plugins/projectexplorer/kitmanager.h | |
| parent | 2039a7dd6993f7d274c05cc518b516c6fea85ebc (diff) | |
ProjectExplorer: Remove KitManager::deregisterKitInformation
It is unused and can not really be used in a safe way, so let's
just remove it.
Change-Id: I7926d1781f8f61d00fc3c516b8d1e2a01164a85a
Reviewed-by: Eike Ziller <eike.ziller@qt.io>
Reviewed-by: Ulf Hermann <ulf.hermann@qt.io>
Diffstat (limited to 'src/plugins/projectexplorer/kitmanager.h')
| -rw-r--r-- | src/plugins/projectexplorer/kitmanager.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/plugins/projectexplorer/kitmanager.h b/src/plugins/projectexplorer/kitmanager.h index ba9c316dcf..6c034db428 100644 --- a/src/plugins/projectexplorer/kitmanager.h +++ b/src/plugins/projectexplorer/kitmanager.h @@ -131,7 +131,6 @@ public: static void setDefaultKit(Kit *k); static void registerKitInformation(KitInformation *ki); - static void deregisterKitInformation(KitInformation *ki); static QSet<Core::Id> supportedPlatforms(); static QSet<Core::Id> availableFeatures(Core::Id platformId); |