summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--mining/user/mining.ovdr (renamed from mining/user/mining.odvr)0
1 files changed, 0 insertions, 0 deletions
diff --git a/mining/user/mining.odvr b/mining/user/mining.ovdr
index d6cf6fec..d6cf6fec 100644
--- a/mining/user/mining.odvr
+++ b/mining/user/mining.ovdr