From 293c6cc4617af07901b2a6326a5af1894ceb9ffc Mon Sep 17 00:00:00 2001
From: Max Horn
Date: Thu, 21 Nov 2002 17:25:31 +0000
Subject: enhanced Config::rename_domain; added the ability to change the
 domain name in EditGameDialog

svn-id: r5673
---
 common/config-file.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'common/config-file.h')

diff --git a/common/config-file.h b/common/config-file.h
index 520fb769dd..0612954914 100644
--- a/common/config-file.h
+++ b/common/config-file.h
@@ -46,7 +46,7 @@ public:
 
 	void set_domain(const String &d);
 	void flush() const;
-	void rename_domain(const String &d);
+	void rename_domain(const String &oldD, const String &newD);
 	void delete_domain(const String &d);
 	bool has_domain(const String &d) const;
 	void set_filename(const String &);
-- 
cgit v1.2.3