X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=code%2Flambda.cmi;fp=code%2Flambda.cmi;h=0000000000000000000000000000000000000000;hb=327c2d4e885b7ba7a56e92e39b77940fb345aaf1;hp=532e6bbb50191ea4bbe5b064ba939e58a63dc45d;hpb=ef0c9e389a02522583df53477f5a4622debc4a1b;p=lambda.git

diff --git a/code/lambda.cmi b/code/lambda.cmi
deleted file mode 100644
index 532e6bbb..00000000
Binary files a/code/lambda.cmi and /dev/null differ