Fixes #847 (#976)

5 files changed
tree: 32ce14d2d8f565e7ae6fb1572de1f48437ca8138
  1. .circleci/
  2. .gitattributes
  3. .gitignore
  4. LICENSE
  5. docs/
  6. etc/
  7. pom.xml
  8. scripts/
  9. src/