ControlsRework: Obsolete wiki page
authorWuzzy
Mon, 29 Apr 2019 21:15:08 +0100
changeset 1859 695f35df799e
parent 1858 e08849853ddb
child 1860 6339b2b138de
ControlsRework: Obsolete wiki page
ControlsRework.wiki
--- a/ControlsRework.wiki	Mon Apr 29 12:09:20 2019 +0100
+++ b/ControlsRework.wiki	Mon Apr 29 21:15:08 2019 +0100
@@ -1,5 +1,11 @@
 #summary Solutions for fixing bug 240 (frontend displays wrong key name)
 
+*This wiki page is OBSOLETE now. Bug 240 is now fixed.*
+
+Everything below the line is only of historic interest.
+
+---
+
 This wiki page is for documenting and analyzing possible solutions for [https://issues.hedgewars.org/show_bug.cgi?id=240 bug 240] that have been discussed before.
 
 == Criteria ==