diff --git a/tools/.gitignore b/tools/.gitignore new file mode 100644 index 0000000..b94f819 --- /dev/null +++ b/tools/.gitignore @@ -0,0 +1,2 @@ +configctl +configctl.o