Restore all dropped properties

Fixes #887.

Performed by taking an old version from my IntelliJ local history and automatically sorting, now that I know how (see https://youtrack.jetbrains.com/issue/IDEA-188986 for why I didn't initially know it was possible).
1 file changed
tree: 1e52db8564cc3a2252b2ba4be3d233ddbf356510
  1. .circleci/
  2. .gitattributes
  3. .gitignore
  4. LICENSE
  5. docs/
  6. etc/
  7. pom.xml
  8. scripts/
  9. src/