diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2023-05-22 07:27:09 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2023-05-22 07:27:09 +0100 |
| commit | 7a9afa86e9a25ad8246bf4d5665f869f2a162ae3 (patch) | |
| tree | 6fb0b1bb51b0f3433fd67075218ee0bcefe6931d /.gitignore | |
| parent | decb20fd568b943630ae2ccd9d7ef177fc5e3b33 (diff) | |
| download | tr8vm-7a9afa86e9a25ad8246bf4d5665f869f2a162ae3.tar.gz tr8vm-7a9afa86e9a25ad8246bf4d5665f869f2a162ae3.zip | |
Ingore this
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -5,3 +5,4 @@ Makefile.deps tr8as tr8vm *.tr8 +local-env |