src: change API of split and depreciate split_with
authorJean Privat <jean@pryen.org>
Thu, 16 May 2013 14:56:25 +0000 (10:56 -0400)
committerJean Privat <jean@pryen.org>
Thu, 16 May 2013 20:05:33 +0000 (16:05 -0400)
commit50961a82cdd857f4429d8bbb71096e5de1a369d0
tree890cc60fb79c98e33a7eb6494607b174a6cda037
parent3f1001e3c66e4742baa2d898c715c38a26faff9b
src: change API of split and depreciate split_with

Signed-off-by: Jean Privat <jean@pryen.org>
lib/standard/string_search.nit