X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fxaland.class;fp=helm%2Finterface%2Fxaland.class;h=0000000000000000000000000000000000000000;hb=fa11ed6dc134f8ad3421c37a97271018e075bbed;hp=6871fda4b77e5da54ed99846b0a35652ccaf2961;hpb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;p=helm.git

diff --git a/helm/interface/xaland.class b/helm/interface/xaland.class
deleted file mode 100644
index 6871fda4b..000000000
Binary files a/helm/interface/xaland.class and /dev/null differ