Skip to content

Delete obsolete file

The prompt before this point is '%n@%m:%~%#', so the deleted script no longer does anything useful and is a potential issue for anyone using an alternate theme.

Merge request reports