mirror of
https://github.com/OpenAPITools/openapi-generator.git
synced 2025-05-12 12:40:53 +00:00
Use the current Java version in devcontainer.json. (#18502)
This commit is contained in:
parent
a5d463d90f
commit
fd90aa6347
@ -26,8 +26,8 @@
|
|||||||
"java.configuration.runtimes": [
|
"java.configuration.runtimes": [
|
||||||
{
|
{
|
||||||
"name": "JavaSE-11",
|
"name": "JavaSE-11",
|
||||||
"path": "/usr/local/sdkman/candidates/java/11.0.16.1-ms",
|
"path": "/usr/local/sdkman/candidates/java/current",
|
||||||
"sources": "/usr/local/sdkman/candidates/java/11.0.16.1-ms/lib/src.zip",
|
"sources": "/usr/local/sdkman/candidates/java/current/lib/src.zip",
|
||||||
"javadoc": "https://docs.oracle.com/en/java/javase/11/docs/api",
|
"javadoc": "https://docs.oracle.com/en/java/javase/11/docs/api",
|
||||||
"default": true
|
"default": true
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user