diff --git a/docs/examples/abstract/.gitignore b/docs/examples/abstract/.gitignore new file mode 100644 index 0000000..fcb41f9 --- /dev/null +++ b/docs/examples/abstract/.gitignore @@ -0,0 +1,3 @@ +/abstr/ +/props_cvr/ +/props_prv/