2019-02-19 | Michal Cmarada | VPP-1504: Remove JVPP 18/16318/6 | commit | commitdiff |
2018-10-02 | Bernhard M. Wiedemann | jvppgen: update headers 12/15112/1 | commit | commitdiff |
2018-08-01 | Damjan Marion | Move java api to extras/ 61/13861/3 | commit | commitdiff |