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:000546,src:000000,op:int16,pos:83,val:+127,+cov | Bin 339 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/mint/afl-tests/id:000546,src:000000,op:int16,pos:83,val:+127,+cov (limited to 'src/mint/afl-tests/id:000546,src:000000,op:int16,pos:83,val:+127,+cov') diff --git a/src/mint/afl-tests/id:000546,src:000000,op:int16,pos:83,val:+127,+cov b/src/mint/afl-tests/id:000546,src:000000,op:int16,pos:83,val:+127,+cov deleted file mode 100644 index 55a511c14..000000000 Binary files a/src/mint/afl-tests/id:000546,src:000000,op:int16,pos:83,val:+127,+cov and /dev/null differ -- cgit v1.2.3