From 1c5be763fe0f5a195461064299561666af075799 Mon Sep 17 00:00:00 2001 From: zansgroup Date: Tue, 5 Oct 2021 08:23:39 +0200 Subject: [PATCH] Initial commit --- .gitignore | 8 ++++++++ README.md | 2 ++ 2 files changed, 10 insertions(+) create mode 100644 .gitignore create mode 100644 README.md diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f8797e1 --- /dev/null +++ b/.gitignore @@ -0,0 +1,8 @@ +# ---> Agda +*.agdai +MAlonzo/** + +# ---> AppEngine +# Google App Engine generated folder +appengine-generated/ + diff --git a/README.md b/README.md new file mode 100644 index 0000000..245ed42 --- /dev/null +++ b/README.md @@ -0,0 +1,2 @@ +# ZansGroup +