From 6017a9cf91ab65bf9b5c42a40f2a1869652a535f Mon Sep 17 00:00:00 2001 From: Mark Mansi Date: Wed, 23 May 2018 11:49:24 -0500 Subject: [PATCH] move mir --- src/{mir-borrowck.md => mir/borrowck.md} | 0 src/{mir-construction.md => mir/construction.md} | 0 src/{mir.md => mir/index.md} | 0 src/{mir-optimizations.md => mir/optimizations.md} | 0 src/{mir-passes.md => mir/passes.md} | 0 src/{mir-regionck.md => mir/regionck.md} | 0 src/{mir-visitor.md => mir/visitor.md} | 0 7 files changed, 0 insertions(+), 0 deletions(-) rename src/{mir-borrowck.md => mir/borrowck.md} (100%) rename src/{mir-construction.md => mir/construction.md} (100%) rename src/{mir.md => mir/index.md} (100%) rename src/{mir-optimizations.md => mir/optimizations.md} (100%) rename src/{mir-passes.md => mir/passes.md} (100%) rename src/{mir-regionck.md => mir/regionck.md} (100%) rename src/{mir-visitor.md => mir/visitor.md} (100%) diff --git a/src/mir-borrowck.md b/src/mir/borrowck.md similarity index 100% rename from src/mir-borrowck.md rename to src/mir/borrowck.md diff --git a/src/mir-construction.md b/src/mir/construction.md similarity index 100% rename from src/mir-construction.md rename to src/mir/construction.md diff --git a/src/mir.md b/src/mir/index.md similarity index 100% rename from src/mir.md rename to src/mir/index.md diff --git a/src/mir-optimizations.md b/src/mir/optimizations.md similarity index 100% rename from src/mir-optimizations.md rename to src/mir/optimizations.md diff --git a/src/mir-passes.md b/src/mir/passes.md similarity index 100% rename from src/mir-passes.md rename to src/mir/passes.md diff --git a/src/mir-regionck.md b/src/mir/regionck.md similarity index 100% rename from src/mir-regionck.md rename to src/mir/regionck.md diff --git a/src/mir-visitor.md b/src/mir/visitor.md similarity index 100% rename from src/mir-visitor.md rename to src/mir/visitor.md