- delete_command
int delete_command(GlobalState gs, string cwd, ulong cmd_id)
Undocumented in source. Be warned that the author may not have intended to support it.
- delete_command_out
void delete_command_out(T cgs, string cwd, ulong cmd_id)
Undocumented in source. Be warned that the author may not have intended to support it.