+void ra_argv_free (char **argv) /* {{{ */
+{
+ /* The pointers contained in the "argv" come from "array_argv". We don't need
+ * to free them. We only need to free what we actually alloced directly in
+ * "ra_argv". */
+ free (argv);
+} /* }}} void ra_argv_free */
+