commit 3f61c468be1a1d11bf84f772178d71a77345a703 parent 5436f70de37d2beb95b314c076eb526d9b67c5da Author: Stephen Chang <stchang@ccs.neu.edu> Date: Wed, 31 Aug 2016 16:22:55 -0400 rename rosette-guide-tests -> rosette-guide-sec2-tests Diffstat:
| R | turnstile/examples/tests/rosette/rosette-guide-tests.rkt -> turnstile/examples/tests/rosette/rosette-guide-sec2-tests.rkt | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/turnstile/examples/tests/rosette/rosette-guide-tests.rkt b/turnstile/examples/tests/rosette/rosette-guide-sec2-tests.rkt