diff options
author | Timotej S <6674623+underhood@users.noreply.github.com> | 2022-07-22 16:55:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-22 16:55:06 +0200 |
commit | 014c9f3259264f54d939958449477504dff6133e (patch) | |
tree | a5c092c4031e3ff48851489a6882c3fb5b03a62c /.gitignore | |
parent | 146c66b3492aaca3af02715886f0ee2f1237f9d0 (diff) |
include Judy into our source tree (#13362)
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 2d7051485e..275b5d0076 100644 --- a/.gitignore +++ b/.gitignore @@ -228,3 +228,7 @@ Session.*.vim # Jupyter notebook checkpoints .ipynb_checkpoints + +# Judy stuff +JudyLTables.c +judyltablesgen |