Skip to content

Fix javadoc search js#328

Closed
rozza wants to merge 1 commit intomasterfrom
j3329
Closed

Fix javadoc search js#328
rozza wants to merge 1 commit intomasterfrom
j3329

Conversation

@rozza
Copy link
Owner

@rozza rozza commented Jul 9, 2019

Cannot use --no-module-directories as that would break any links
to the main java documentation

JAVA-3329

Cannot use --no-module-directories as that would break any links
to the main java documentation

JAVA-3329
@rozza rozza requested a review from jyemin July 9, 2019 15:36
@rozza
Copy link
Owner Author

rozza commented Jul 9, 2019

Copy link
Collaborator

@jyemin jyemin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Clever.

@jyemin
Copy link
Collaborator

jyemin commented Jul 16, 2019

@rozza this can be closed now, right?

@rozza rozza closed this Jul 16, 2019
@rozza rozza deleted the j3329 branch July 16, 2019 13:50
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.

2 participants