tree 8af94e0a930a6887d6e1978b21f4872d6f395280
parent 8ced9c90a28f6abc80dc5ad4cf7921c2322c0bb0
author Heiko Voigt <hvoigt@hvoigt.net> 1333005682 +0200
committer Junio C Hamano <gitster@pobox.com> 1333123564 -0700

string-list: document that string_list_insert() inserts unique strings

Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>