From: Ruben Beltran del Rio <redacted>
Date: Thu, 1 Feb 2024 09:34:37 +0000 (+0000)
Subject: Remove snippets warning in coq
X-Git-Url: https://git.r.bdr.sh/rbdr/dotfiles/commitdiff_plain/2d56e8a7ae3a585804291c9935075e7068da4834?hp=2d56e8a7ae3a585804291c9935075e7068da4834

Remove snippets warning in coq
---