5 changed files with 3989 additions and 13 deletions
--- a/.gitattributes
+++ b/.gitattributes
@ -1,4 +0,0 @@
-*.webm filter=lfs diff=lfs merge=lfs -text
-*.gif filter=lfs diff=lfs merge=lfs -text
-*.svg filter=lfs diff=lfs merge=lfs -text
-*.rec filter=lfs diff=lfs merge=lfs -text
--- a/doc/output.gif
+++ b/doc/output.gif
--- a/doc/output.rec
+++ b/doc/output.rec
--- a/doc/output.svg
+++ b/doc/output.svg
--- a/doc/output.webm
+++ b/doc/output.webm