From d04717cd7f2118cec06b8f7b5aa72f7b6e0ba54a Mon Sep 17 00:00:00 2001 From: Philip Torchinsky Date: Tue, 18 Oct 2016 20:57:37 +0300 Subject: [PATCH] Rename obs1celle to obs1celle.txt --- lib/domains/de/{obs1celle => obs1celle.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename lib/domains/de/{obs1celle => obs1celle.txt} (100%) diff --git a/lib/domains/de/obs1celle b/lib/domains/de/obs1celle.txt similarity index 100% rename from lib/domains/de/obs1celle rename to lib/domains/de/obs1celle.txt