From 8dbf8014991bd7456dfa09b85f07c04086d70459 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 17 May 2024 12:03:09 -0500 Subject: stuff --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 8267c6a..93b9482 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ _build/* .direnv +result -- cgit v1.2.3