commit 25bff3246f8c1853af8becaf89b2cd2fa07ba998 parent f090b5b647a2cd8554888adb7e3e586ac5085f32 Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 1 Dec 2019 21:26:14 +0100 fix .gitignore Diffstat:
| M | .gitignore | | | 4 | ---- |
1 file changed, 0 insertions(+), 4 deletions(-)
diff --git a/.gitignore b/.gitignore @@ -20,8 +20,4 @@ pt/ __pycache__ *.pyc -node_modules - -config.mk - *.core