mirror of
https://github.com/enso-org/enso.git
synced 2024-12-23 01:51:30 +03:00
e6ae366917
`User-Agent` depends on the precise JDK version, so we ignore it when checking HTTP responses. Clsoes #8629. |
||
---|---|---|
.. | ||
src | ||
THIRD-PARTY | ||
package.yaml |