rename 7-16rin8.dat -> 7-16ring8.dat

(0) -30 -10 -1 +1 +10 tip

mercurial