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 | ae413040ff37f6d3a2e2fe06162851c09c089ea3 (patch) | |
| tree | 26e038ac2fa5bef30000d3b59df65c6732f41982 /mining/user | |
| parent | 68a09874c50d3b6c7443372983e2bb8057813e71 (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 |