use "deleted" instead of "trashed" .

This commit is contained in:
2015-08-12 19:03:40 +02:00
parent 6a9bc8aa42
commit 0061afcbe8

View File

@@ -301,7 +301,7 @@ feature -- Hooks
end end
else else
if n.is_trashed then if n.is_trashed then
l_info := "trashed" l_info := "deleted"
else else
l_info := "updated" l_info := "updated"
if not n.is_published then if not n.is_published then