From: Jim <jim.pryor@nyu.edu>
Date: Tue, 14 Apr 2015 00:50:26 +0000 (-0400)
Subject: move gsv.ml to gsv-jim.ml
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=a0b9720de1163e1d640b4714dc8f5bbadf601c25;ds=sidebyside

move gsv.ml to gsv-jim.ml
---

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