bump env
authorAndrew Waterman <waterman@cs.berkeley.edu>
Sat, 18 Jun 2016 04:00:02 +0000 (21:00 -0700)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Sat, 18 Jun 2016 04:00:02 +0000 (21:00 -0700)
env

diff --git a/env b/env
index 4944be4d45cafabce0519f223124d2934b9dcac5..260b6fff32036dcfc8299aa21dd7cd443b18bb6a 160000 (submodule)
--- a/env
+++ b/env
@@ -1 +1 @@
-Subproject commit 4944be4d45cafabce0519f223124d2934b9dcac5
+Subproject commit 260b6fff32036dcfc8299aa21dd7cd443b18bb6a