previous commit requires lots of changes in other modules so introduce a quick hack...
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Tue, 18 Jan 2011 21:19:58 +0000 (16:19 -0500)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Tue, 18 Jan 2011 21:19:58 +0000 (16:19 -0500)
commitcd07242d54498d34d6747e6d0bfd8031f41f282f
tree48f22aa3a8e9673faa92db84e166a578d1c595a2
parentc332e5a1cdea2efa7ddd43a08a1dd7fe3c414054
previous commit requires lots of changes in other modules so introduce a quick hack for now
kvariant.sh