diff options
| author | terru | 2025-04-22 13:32:39 +0200 |
|---|---|---|
| committer | terru | 2025-04-22 13:56:13 +0200 |
| commit | 2f031e360bc8bd0621e6e79d3a5f732548d920c7 (patch) | |
| tree | 0bbf7b5a3668b1005506728b504e42f5d79a102a /.gitignore | |
| parent | 0cbc2be9e6b5f6f145c87fca43ed2c4b3b064b2e (diff) | |
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.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..e0f0498 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +output/* +*~ |