2 lines
103 B
Text
2 lines
103 B
Text
mergeStreams(File("unixdict.txt"),File("2hkprimes.txt"),File("/dev/null"))
|
|
.pump(File("foo.txt","w"));
|