From b5d99fe50e62eceee56d8c59e658624ddb5d4869 Mon Sep 17 00:00:00 2001
From: Zangwei Zheng <zangwei@comp.nus.edu.sg>
Date: Tue, 4 Mar 2025 18:35:38 +0800
Subject: [PATCH] delete gif