mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-21 11:34:38 +02:00
8030244: Update langtools to use Diamond
Reviewed-by: darcy
This commit is contained in:
parent
6255412f38
commit
6b6b488756
216 changed files with 1006 additions and 1096 deletions
|
@ -236,7 +236,7 @@ public interface DocTree {
|
|||
Kind(String tagName) {
|
||||
this.tagName = tagName;
|
||||
}
|
||||
};
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets the kind of this tree.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue