diff options
author | tv <tv@also> | 2011-06-21 21:19:01 +0200 |
---|---|---|
committer | tv <tv@also> | 2011-06-21 21:19:32 +0200 |
commit | c82a486a65d881579a71ac36c14cdf2cb83529e0 (patch) | |
tree | 53975a76fe19c2dcbd6197b4d8b2053e77034825 /mining/user | |
parent | 3e568365deb80e33d79f66f7ccd4a916472086e3 (diff) |
mining/user/mining.o{dv -> vd}r
Diffstat (limited to 'mining/user')
-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 |