summaryrefslogtreecommitdiffstats
path: root/mining
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
commitc82a486a65d881579a71ac36c14cdf2cb83529e0 (patch)
tree53975a76fe19c2dcbd6197b4d8b2053e77034825 /mining
parent3e568365deb80e33d79f66f7ccd4a916472086e3 (diff)
mining/user/mining.o{dv -> vd}r
Diffstat (limited to 'mining')
-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