chore: add missing .gitignore file

Part of ooni/probe#2223 I'm reading the diff with respect to main and applying changes that should also be part of the stable branch.
ooni · Aug 22, 2022 · a800f99 · a800f99
1 parent 1be0ee4
commit a800f99
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/example/example-proxy/.gitignore b/example/example-proxy/.gitignore
@@ -0,0 +1 @@
+/example-proxy