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