diff --git a/Tools/.gitignore b/Tools/.gitignore new file mode 100644 index 000000000..6034ba776 --- /dev/null +++ b/Tools/.gitignore @@ -0,0 +1 @@ +*-kct.*