From 5e0ba54d00a519dc864e1e7abda28569d51a26b1 Mon Sep 17 00:00:00 2001 From: Scott Olson Date: Sat, 12 Dec 2015 00:46:03 -0600 Subject: [PATCH] Move miri binary source into src/bin. --- src/{main.rs => bin/miri.rs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{main.rs => bin/miri.rs} (100%) diff --git a/src/main.rs b/src/bin/miri.rs similarity index 100% rename from src/main.rs rename to src/bin/miri.rs