diff options
author | 2016-07-20 14:53:48 +0200 | |
---|---|---|
committer | 2016-07-21 09:30:48 +0000 | |
commit | 948b95a9a08d38e7f74a160c11193f73a90e98c9 (patch) | |
tree | d73867ac2357dba4f9b5b12a69e4041b9d5a3df6 /.gitignore | |
parent | 84bde8dc132f9be5cd208cf1ff446f366896a103 (diff) |
VPP-123: remove japi (the old Java API)
MANUAL_JAVA flag (used only by the japi)
was also removed.
Change-Id: Ied21521b2410af1c357afb04cbf9e849632ddc5f
Signed-off-by: Marek Gradzki <mgradzki@cisco.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions