diff --git a/gtsam/navigation/.gitignore b/gtsam/navigation/.gitignore new file mode 100644 index 000000000..798d17f47 --- /dev/null +++ b/gtsam/navigation/.gitignore @@ -0,0 +1 @@ +/*.*~