From fcc9429932210623c9c95a37fc329e6b03ba376f Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Mon, 14 Aug 2017 13:50:50 -0400
Subject: [PATCH] rename dep2 -> dep

---
 turnstile/examples/{dep2-assist.rkt => dep-assist.rkt}            | 0
 turnstile/examples/{dep2.rkt => dep.rkt}                          | 0
 .../tests/{dep2-assist-tests.rkt => dep-assist-tests.rkt}         | 0
 turnstile/examples/tests/{dep2-peano.rkt => dep-peano-tests.rkt}  | 0
 turnstile/examples/tests/{dep2-tests.rkt => dep-tests.rkt}        | 0
 5 files changed, 0 insertions(+), 0 deletions(-)
 rename turnstile/examples/{dep2-assist.rkt => dep-assist.rkt} (100%)
 rename turnstile/examples/{dep2.rkt => dep.rkt} (100%)
 rename turnstile/examples/tests/{dep2-assist-tests.rkt => dep-assist-tests.rkt} (100%)
 rename turnstile/examples/tests/{dep2-peano.rkt => dep-peano-tests.rkt} (100%)
 rename turnstile/examples/tests/{dep2-tests.rkt => dep-tests.rkt} (100%)

diff --git a/turnstile/examples/dep2-assist.rkt b/turnstile/examples/dep-assist.rkt
similarity index 100%
rename from turnstile/examples/dep2-assist.rkt
rename to turnstile/examples/dep-assist.rkt
diff --git a/turnstile/examples/dep2.rkt b/turnstile/examples/dep.rkt
similarity index 100%
rename from turnstile/examples/dep2.rkt
rename to turnstile/examples/dep.rkt
diff --git a/turnstile/examples/tests/dep2-assist-tests.rkt b/turnstile/examples/tests/dep-assist-tests.rkt
similarity index 100%
rename from turnstile/examples/tests/dep2-assist-tests.rkt
rename to turnstile/examples/tests/dep-assist-tests.rkt
diff --git a/turnstile/examples/tests/dep2-peano.rkt b/turnstile/examples/tests/dep-peano-tests.rkt
similarity index 100%
rename from turnstile/examples/tests/dep2-peano.rkt
rename to turnstile/examples/tests/dep-peano-tests.rkt
diff --git a/turnstile/examples/tests/dep2-tests.rkt b/turnstile/examples/tests/dep-tests.rkt
similarity index 100%
rename from turnstile/examples/tests/dep2-tests.rkt
rename to turnstile/examples/tests/dep-tests.rkt