Merge branch 'master' into dev
diff --git a/.gitattributes b/.gitattributes
index 2948038..23fbb88 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -3,3 +3,4 @@
 /ci export-ignore
 /.gitattributes export-ignore
 /.github export-ignore
+*.ppm binary