From: Jim <jim.pryor@nyu.edu>
Date: Tue, 14 Apr 2015 01:02:27 +0000 (-0400)
Subject: fixed move gsv-jim.ml to gsv2.ml
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=871a3e85fdf1c1994dd901f1c42ba2938f7e7101;hp=feed9f614fd5e90dc05320b7ae242877665ae4ff

fixed move gsv-jim.ml to gsv2.ml
---

diff --git a/gsv2.ml b/code/gsv2.ml
similarity index 100%
rename from gsv2.ml
rename to code/gsv2.ml