string_search: fix missing documentation warnings
authorAlexandre Terrasa <alexandre@moz-code.org>
Wed, 19 Nov 2014 04:22:26 +0000 (23:22 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Tue, 25 Nov 2014 21:12:07 +0000 (16:12 -0500)
commitcfe0657bd08540f121cd8014be9ecb062f36680c
tree843aac78c99c79b1119c5cfac91c8cd5fe66bec7
parent041816ead3e198b8d8258b8f46e9daa590ed7126
string_search: fix missing documentation warnings

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
lib/standard/string_search.nit