From ffa57381e0427d63bd49442c65a343b20ca57945 Mon Sep 17 00:00:00 2001
From: Jonathan Lambrechts <jonathan.lambrechts@uclouvain.be>
Date: Thu, 4 Jul 2013 11:27:48 +0000
Subject: [PATCH] oupss
---
Plugin/PluginManager.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Plugin/PluginManager.h b/Plugin/PluginManager.h
index 8a56b845fc..d8554f6c5e 100644
--- a/Plugin/PluginManager.h
+++ b/Plugin/PluginManager.h
@@ -33,7 +33,7 @@ class PluginManager
void addPlugin(std::string fileName);
// Uninstall a given plugin
- void uninstallPlugin(std::string pluginName);
+ void uninstallPlugin(std::string pluginName){};
// Set an option to a value in plugin named pluginName
void setPluginOption(std::string pluginName, std::string option,
--
GitLab