index 24f7fc11f8aa8f0bef5d7227c7c7e5d38200e11b..46666318ce45b4571cba160cd74325650e4cc551 100644 (file)
*/
int
stringv_append(char ***s, size_t *s_len, const char *elem);
+int
+stringv_append_if_missing(char ***s, size_t *s_len, const char *elem);
/*
* stringv_free: