diff options
author | Ulf Adams <ulfjack@google.com> | 2015-09-07 14:46:40 +0000 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2015-09-08 09:04:35 +0000 |
commit | 85adce72f90337f165982a53a0380bc2927322b5 (patch) | |
tree | d35a0a55291e1cab22312b1a002e811397d9233d /src/main/java/com/google/devtools/build/lib/events | |
parent | d2a2461e69acef66401aa8dbcf00b06eb960de44 (diff) |
Random collection of cleanups.
--
MOS_MIGRATED_REVID=102497981
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/events')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/events/EventHandler.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/events/EventHandler.java b/src/main/java/com/google/devtools/build/lib/events/EventHandler.java index 28b626557f..6d0df6b77a 100644 --- a/src/main/java/com/google/devtools/build/lib/events/EventHandler.java +++ b/src/main/java/com/google/devtools/build/lib/events/EventHandler.java @@ -23,5 +23,5 @@ public interface EventHandler { /** * Handles an event. */ - public void handle(Event event); + void handle(Event event); } |