From ff0e612c437a553b62fe75c0955a99ff99f432cf Mon Sep 17 00:00:00 2001 From: Ruben Carlo Benante Date: Wed, 5 Aug 2026 21:16:36 -0300 Subject: [PATCH] mirror to github --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index de59cc8..ab3d31d 100644 --- a/.gitignore +++ b/.gitignore @@ -44,4 +44,5 @@ data.json # no need Makefile +GITHUB*