Merge branch 'release/v0.5.3'

PioBeat · Jul 5, 2020 · f307f40 · f307f40
2 parents 2fd73f1 + 9a080f6
commit f307f40
Show file tree

Hide file tree

Showing 123 changed files with 1,806 additions and 519 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,13 +1,21 @@
 # Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio and Webstorm
 # Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839
 
+.gradle
 libs/php*
 ./*.jar
 GravSupport.zip
-
+ToDo.md
+build
 # User-specific stuff:
 .idea/**/workspace.xml
 .idea/**/tasks.xml
+.idea/**/jarRepositories.xml
+.idea/**/compiler.xml
+.idea/**/misc.xml
+.idea/**/sbt.xml
+.idea/**/vcs.xml
+.idea/**/codeStyleConfig.xml
 .idea/dictionaries
 
 # Sensitive or high-churn files:

diff --git a/.idea/encodings.xml b/.idea/encodings.xml
diff --git a/.idea/markdown-navigator.xml b/.idea/markdown-navigator.xml
diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/.idea/modules.xml b/.idea/modules.xml