mirror of
https://github.com/corda/corda.git
synced 2025-01-07 13:38:47 +00:00
Added override, soley for documentation purposes (mark methods overriding parent)
This commit is contained in:
parent
b59422fa94
commit
0bd29069f4
5
classpath/java/lang/Override.java
Normal file
5
classpath/java/lang/Override.java
Normal file
@ -0,0 +1,5 @@
|
||||
package java.lang;
|
||||
|
||||
public @interface Override {
|
||||
|
||||
}
|
Loading…
Reference in New Issue
Block a user