summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@also>2011-06-21 21:19:01 +0200
committertv <tv@also>2011-06-21 21:19:32 +0200
commitae413040ff37f6d3a2e2fe06162851c09c089ea3 (patch)
tree26e038ac2fa5bef30000d3b59df65c6732f41982
parent68a09874c50d3b6c7443372983e2bb8057813e71 (diff)
mining/user/mining.o{dv -> vd}r
-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