Ignore catpoint and pointtools directories.

master
Philippe Pittoli 2023-02-05 07:10:39 +01:00
parent 81cf462e10
commit f0e41455be
1 changed files with 2 additions and 0 deletions

2
docs/.gitignore vendored Normal file
View File

@ -0,0 +1,2 @@
catpoint
pointtools