From 1dbee50e4e506841033bde75d8053e276d5be5e4 Mon Sep 17 00:00:00 2001
From: Jakob MG <jakob_mg@hotmail.com>
Date: Sun, 19 Feb 2012 17:36:45 +0100
Subject: [PATCH] .map.options. not .options

---
 maps/{dotc_test4.options => dotc_test4.map.options} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename maps/{dotc_test4.options => dotc_test4.map.options} (100%)

diff --git a/maps/dotc_test4.options b/maps/dotc_test4.map.options
similarity index 100%
rename from maps/dotc_test4.options
rename to maps/dotc_test4.map.options
-- 
2.39.2