opendev/gerrit
Code Issues Proposed changes

GlobalOrPluginPermission: Fix Javadoc warning

Browse Source 
Change-Id: Ie90d47306db0a1116a55c2eed6aee19eb4157c3d
This commit is contained in:
David Pursehouse
2017-04-25 17:31:07 +02:00
parent f7355e2cdd
commit ae46baef39
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gerrit-extension-api/src/main/java/com/google/gerrit/extensions/api/access/GlobalOrPluginPermission.java
View File

@@ -14,7 +14,9 @@
package com.google.gerrit.extensions.api.access; package com.google.gerrit.extensions.api.access;
/** A {@link GlobalPermission} or a {@link PluginPermission}. */ /**
* A {@link com.google.gerrit.server.permissions.GlobalPermission} or a {@link PluginPermission}.
*/
public interface GlobalOrPluginPermission { public interface GlobalOrPluginPermission {
/** @return name used in {@code project.config} permissions. */ /** @return name used in {@code project.config} permissions. */
public String permissionName(); public String permissionName();