diff options
Diffstat (limited to 'do/execfree')
| -rw-r--r-- | do/execfree | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/do/execfree b/do/execfree deleted file mode 100644 index 3f5bd394e1..0000000000 --- a/do/execfree +++ /dev/null @@ -1,13 +0,0 @@ -void -do_execfree() -{ - if (Argv) { - Safefree(Argv); - Argv = Null(char **); - } - if (Cmd) { - Safefree(Cmd); - Cmd = Nullch; - } -} - |