Benjamin Pasero 8575dcd1bf Deleting or renaming a file or its parent with dirty within should prompt user (fixes #9313)

2016-08-10 09:11:45 +02:00

..

message.ts

Deleting or renaming a file or its parent with dirty within should prompt user (fixes #9313)

2016-08-10 09:11:45 +02:00