Browse Source

Rename 12_1e100.txt to 1e100.txt

lennylxx 10 years ago
parent
commit
806d83af6e
1 changed files with 0 additions and 0 deletions
  1. 0 0
      separation/1e100.txt

+ 0 - 0
separation/12_1e100.txt → separation/1e100.txt