From b5cba3251053c22bf1df46282f1dd0a4c46f6a38 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Tue, 1 Mar 2016 15:35:04 +0100 Subject: renaming mint->exchange --- .../id:000533,src:000000,op:int16,pos:47,val:+128,+cov | Bin 339 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/mint/afl-tests/id:000533,src:000000,op:int16,pos:47,val:+128,+cov (limited to 'src/mint/afl-tests/id:000533,src:000000,op:int16,pos:47,val:+128,+cov') diff --git a/src/mint/afl-tests/id:000533,src:000000,op:int16,pos:47,val:+128,+cov b/src/mint/afl-tests/id:000533,src:000000,op:int16,pos:47,val:+128,+cov deleted file mode 100644 index 6706ee7fa..000000000 Binary files a/src/mint/afl-tests/id:000533,src:000000,op:int16,pos:47,val:+128,+cov and /dev/null differ -- cgit v1.2.3