From 7a9afa86e9a25ad8246bf4d5665f869f2a162ae3 Mon Sep 17 00:00:00 2001 From: "Juan J. Martinez" Date: Mon, 22 May 2023 07:27:09 +0100 Subject: Ingore this --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index dd2005d..7f5c9e6 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ Makefile.deps tr8as tr8vm *.tr8 +local-env -- cgit v1.2.3