| changeset 434 | 1eb11d787af7 |
| parent 432 | 87e487ccbd7c |
| child 472 | fbff6f601370 |
| 433:a6aa851361d0 | 434:1eb11d787af7 |
|---|---|
1 |
1 |
2 import Resit._ |
2 import M2._ |
3 import io.Source |
3 import io.Source |
4 |
4 |
5 |
5 |
6 def urban_get_wordle_list(url: String) : List[String] = { |
6 def urban_get_wordle_list(url: String) : List[String] = { |
7 Source.fromFile(url)("ISO-8859-1").getLines().toList |
7 Source.fromFile(url)("ISO-8859-1").getLines().toList |