From 2f031e360bc8bd0621e6e79d3a5f732548d920c7 Mon Sep 17 00:00:00 2001
From: terru
Date: Tue, 22 Apr 2025 13:32:39 +0200
Subject: initial snippet generation

this is the result of some hacking during off-hours at mgs25, patched
into a mostly-working state. In use for at least one paper already, so
it should hopefully work for most "basic" theories and possibly more
complex ones.
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .gitignore

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..e0f0498
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+output/*
+*~
-- 
cgit v1.2.3