Release 2.0

Merge branch 'release-2.0'
StanfordPL · Jan 6, 2015 · d8bb2a5 · d8bb2a5
2 parents 3943ccb + 36d1bf0
commit d8bb2a5
Show file tree

Hide file tree

Showing 3,543 changed files with 192,589 additions and 693,513 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,8 @@
+*.o
+bin/*
+src/tags
+src/ext/*
+*.swp
+tags
+
+aliasing