[ImgBot] Optimize images (#7)

Zeta611 · Jun 4, 2024 · 07a66df · 07a66df
1 parent e0c3d4c
commit 07a66df
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 142 deletions.
diff --git a/lib/evaluator.ml b/lib/evaluator.ml
diff --git a/samples/normal_bernoulli.png b/samples/normal_bernoulli.png
diff --git a/samples/simple_itpp.png b/samples/simple_itpp.png
diff --git a/samples/student.png b/samples/student.png