Skip to content

Improve verbiage of how to use properties.#7828

Merged
headius merged 1 commit intojruby:masterfrom
headius:jruby_properties
Jun 5, 2023
Merged

Improve verbiage of how to use properties.#7828
headius merged 1 commit intojruby:masterfrom
headius:jruby_properties

Conversation

@headius
Copy link
Member

@headius headius commented Jun 5, 2023

Fixes #7818.

@headius headius added this to the JRuby 9.4.3.0 milestone Jun 5, 2023
@headius headius merged commit 7cb3453 into jruby:master Jun 5, 2023
@headius headius deleted the jruby_properties branch June 5, 2023 20:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Small documentation issues regarding java options

1 participant