Revert a change that was done by mistake during a previous merge.
1 file changed
tree: 23380e69da2871459ea3f5d222a79586d8081f6b
  1. .gitignore
  2. algebricks/
  3. hivesterix/
  4. hyracks/
  5. pom.xml
  6. pregelix/