From: Quentin Rameau <quinq@fifth.space>
Date: Thu, 19 Nov 2015 13:15:28 +0000 (+0100)
Subject: Remove (delete :>) deletion_interface()
X-Git-Url: https://git.danieliu.xyz/?a=commitdiff_plain;h=04d46d1791f1ff3b82a665fbc5b574f4e2a70c97;hp=04d46d1791f1ff3b82a665fbc5b574f4e2a70c97;p=surf.git

Remove (delete :>) deletion_interface()
---