More fitting name

author vague666 <redacted>

Wed, 21 Mar 2018 20:56:00 +0000 (21:56 +0100)

committer Ailin Nemui <redacted>

Thu, 29 Mar 2018 14:24:59 +0000 (16:24 +0200)
author vague666 <redacted>
Wed, 21 Mar 2018 20:56:00 +0000 (21:56 +0100)
committer Ailin Nemui <redacted>
Thu, 29 Mar 2018 14:24:59 +0000 (16:24 +0200)
diff --git a/scripts/toggle_winlevels.pl b/scripts/toggle_hidelevel.pl

similarity index 100%

rename from scripts/toggle_winlevels.pl

rename to scripts/toggle_hidelevel.pl
author	vague666 <redacted>
	Wed, 21 Mar 2018 20:56:00 +0000 (21:56 +0100)
committer	Ailin Nemui <redacted>
	Thu, 29 Mar 2018 14:24:59 +0000 (16:24 +0200)