mirror of
https://github.com/git/git.git
synced 2026-05-25 11:25:06 +02:00
19a6cd372a
* maint: string-list: document that string_list_insert() inserts unique strings