From 001dd4e28851e7ece7b7b753e419dc86cc9cd397 Mon Sep 17 00:00:00 2001
From: Jason Felds <jafelds@gmail.com>
Date: Fri, 24 Jun 2011 10:51:13 -0400
Subject: [PATCH] Remove duplicate commented metrics.

---
 Themes/_fallback/metrics.ini | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/Themes/_fallback/metrics.ini b/Themes/_fallback/metrics.ini
index 226466f68e..612548a389 100644
--- a/Themes/_fallback/metrics.ini
+++ b/Themes/_fallback/metrics.ini
@@ -2352,13 +2352,6 @@ Mines,2="name,On"
 Mines,3="mod,mines;name,Add"
 Mines,4="mod,attackmines;name,AttackMines"
 
-# Mines="4"
-# MinesDefault="mod,no nomines,no mines, no attackmines"
-# Mines,1="mod,nomines;name,Off"
-# Mines,2="name,On"
-# Mines,3="mod,mines;name,Add"
-# Mines,4="mod,attackmines;name,AttackMines"
-
 Attacks="3"
 AttacksDefault="mod,songattacks"
 Attacks,1="name,SongAttacks"