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:23:45 +0000 (16:23 -0500)
commit9fad43f5f4984e781b9ea37360759f3648e770a2
tree39d7c7c449e6d25f42f3f83428cb8361871cc330
parent684bb46abbad9127ca0f5b88a3f2f2c1218bc379
previous commit requires lots of changes in other modules so introduce a quick hack for now
kvariant.sh