Wed, 03 Jul 2024 20:59:30 +0200 | wenzelm | clarified signature: more direct operation; | file | diff | annotate |
Wed, 03 Jul 2024 20:35:10 +0200 | wenzelm | clarified signature: more direct Bytes.raw and subsequent UTF-8 default decoding; | file | diff | annotate |
Wed, 03 Jul 2024 20:18:36 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 03 Jul 2024 10:07:39 +0200 | wenzelm | tuned signature; | file | diff | annotate |