added CDE library as submodule

2015-10-20 16:22:07 -07:00 · 2015-10-20 16:22:07 -07:00 · 47bc193c16
parent 21f342ad42
commit 47bc193c16
2 changed files with 4 additions and 0 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -25,3 +25,6 @@
 [submodule "junctions"]
 	path = junctions
 	url = https://github.com/ucb-bar/junctions
+[submodule "context-dependent-environments"]
+	path = context-dependent-environments
+	url = https://github.com/ucb-bar/context-dependent-environments
--- a/1
+++ b/1
@ -0,0 +1 @@
+Subproject commit b199196e8c2b2920b683f501b15c404fe63124c2
				`@ -0,0 +1 @@`
				`Subproject commit b199196e8c2b2920b683f501b15c404fe63124c2`