| commit | 30aa7ca0085e7a64fa39bba477ced3860f4fa874 | [log] [tgz] |
|---|---|---|
| author | Werner Dietl <wernerd@google.com> | Wed Apr 05 16:52:37 2017 -0700 |
| committer | Michael Ernst <mernst@alum.mit.edu> | Wed Apr 05 16:52:37 2017 -0700 |
| tree | 4e6c0a6ec9fd46d981386aa1a924ee3521dd7168 | |
| parent | 7fc4becc7ecc6a45ba9624436da397ea5854445f [diff] |
Use plume-core.jar as a smaller dependency