Delete/Rename repos & user. Edit link. Dropped crypt. Other git urls.
20 files changed
tree: 1408a042f9f20c4bcb627555c0d2867ee3e7ab31
  1. distrib/
  2. docs/
  3. service/
  4. src/
  5. .classpath
  6. .gitignore
  7. .project
  8. build.xml