diff options
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 |