Sei Lisa 8322284faa Rename SymbolReplacedOrDeleted to OKtoRemoveSymbol ...

It was an awful name but we couldn't think of anything better. That's what we have come up with as a substitute, which is not entirely accurate but it is MUCH more descriptive of what it actually does.

2019-01-02 20:43:47 +01:00

22 KiB

Raw Blame History

View Raw