Hi, i wanna check my GATE version on Ubuntu and delete it. How can i do that? Thanks -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.opengatecollaboration.org/pipermail/gate-users/attachments/20200728/6c020fc8/attachment.html>