Force trigger build (and remove old doc).

corda · Dec 11, 2023 · e9c9b80 · e9c9b80
1 parent ac3d9fe
commit e9c9b80
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/gradle.properties b/gradle.properties
@@ -1,7 +1,3 @@
-# This file is parsed from Python in the docs/source/conf.py file
-# because some versions here need to be matched by app authors in
-# their own projects. So don't get fancy with syntax!
-
 org.gradle.java.installations.auto-download=false
 
 # Versioning