diff options
author | Damjan Marion <damarion@cisco.com> | 2018-07-30 16:10:14 +0200 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2018-08-01 20:28:53 +0000 |
commit | cc4a5e8089967f0c266e9c5ed319c38c111004cd (patch) | |
tree | bc290e03e12a0a02c3fc274740c96eef9e1707c6 /extras/japi/java/.gitignore | |
parent | a14c16674023bd6672ca49e3551c707702711050 (diff) |
Move java api to extras/
Change-Id: Ibd5cbbdfb22a235442cddaebc9eae9a3c4e35ec9
Signed-off-by: Damjan Marion <damarion@cisco.com>
Diffstat (limited to 'extras/japi/java/.gitignore')
-rw-r--r-- | extras/japi/java/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extras/japi/java/.gitignore b/extras/japi/java/.gitignore new file mode 100644 index 00000000000..62165b48184 --- /dev/null +++ b/extras/japi/java/.gitignore @@ -0,0 +1,2 @@ +# Negate "No core files" pattern from the toplevel .gitignore +!**/core
\ No newline at end of file |