From 84708b02e32a6774c20a90d0c2cdc63dd9f11ab7 Mon Sep 17 00:00:00 2001 From: Christian Weiske Date: Thu, 2 Aug 2012 18:15:01 +0200 Subject: [PATCH] rename dump file --- dumps/{intern-22-41.bin => intern-22-zu-41.bin} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename dumps/{intern-22-41.bin => intern-22-zu-41.bin} (100%) diff --git a/dumps/intern-22-41.bin b/dumps/intern-22-zu-41.bin similarity index 100% rename from dumps/intern-22-41.bin rename to dumps/intern-22-zu-41.bin -- 2.30.2