string.c: Improve documentation of create_argv().
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 24 Jul 2016 09:32:43 +0000 (11:32 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 7 Aug 2016 12:03:44 +0000 (14:03 +0200)
commit780adf95bc4c7cfbb0c4e99cc56ec1282a4818a1
tree829b6a20f15cc82a71887ff9ea3ea3e1b06b4a5e
parentd5df5f39e52c8d0730014322a251a85607ddd603
string.c: Improve documentation of create_argv().

Mention that it is OK to pass NULL, and that the returned array is
NULL terminated.
string.c