laurens 6be18e3e3e string slicing: enhance API to accept string slices ... This way, the API is more general and we can accept any kind of string		2020-05-22 13:28:50 +02:00
..
main.rs	string slicing: enhance API to accept string slices	2020-05-22 13:28:50 +02:00