X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fq_lambda.cmi;fp=code%2Fq_lambda.cmi;h=0000000000000000000000000000000000000000;hp=f14aaeda302cc1a828f3dc0503c3db4d81dd9964;hb=327c2d4e885b7ba7a56e92e39b77940fb345aaf1;hpb=ef0c9e389a02522583df53477f5a4622debc4a1b diff --git a/code/q_lambda.cmi b/code/q_lambda.cmi deleted file mode 100644 index f14aaeda..00000000 Binary files a/code/q_lambda.cmi and /dev/null differ