PR-1021 preparations: prepare files to preserve important history

- Split GenericRepl.kt into separate files
- Rename Repl.kt
This commit is contained in:
Ilya Chernikov
2017-01-23 14:40:42 +01:00
parent 34dd259900
commit 8caf607378
4 changed files with 199 additions and 150 deletions