rename dump file
authorChristian Weiske <cweiske@cweiske.de>
Thu, 2 Aug 2012 16:15:01 +0000 (18:15 +0200)
committerChristian Weiske <cweiske@cweiske.de>
Thu, 2 Aug 2012 16:15:01 +0000 (18:15 +0200)
commit84708b02e32a6774c20a90d0c2cdc63dd9f11ab7
treed820a2ff4cada7ab6691a751ff7fa2541ba8d224
parent52ee8d021c4bfea95def98a4c9d61a58be88328e
rename dump file
dumps/intern-22-zu-41.bin [moved from dumps/intern-22-41.bin with 100% similarity]