From 4f63bf139f085522ce1ab7d629076fef0f67fa9c Mon Sep 17 00:00:00 2001 From: Saeed Haghtalab Date: Fri, 6 Sep 2019 14:36:36 +0200 Subject: [PATCH] Rename stateRecord.dbd -> stateRecord.dbd.pod --- src/std/rec/{stateRecord.dbd => stateRecord.dbd.pod} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/std/rec/{stateRecord.dbd => stateRecord.dbd.pod} (100%) diff --git a/src/std/rec/stateRecord.dbd b/src/std/rec/stateRecord.dbd.pod similarity index 100% rename from src/std/rec/stateRecord.dbd rename to src/std/rec/stateRecord.dbd.pod