fix permissions

sneeuwballen · Dec 10, 2020 · fd35a03 · fd35a03
1 parent e468c36
commit fd35a03
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
diff --git a/Dockerfile b/Dockerfile
diff --git a/LICENSE b/LICENSE
diff --git a/Makefile b/Makefile
diff --git a/README.md b/README.md
diff --git a/dune-project b/dune-project
diff --git a/libzipperposition.opam b/libzipperposition.opam
diff --git a/logtk.opam b/logtk.opam
diff --git a/zipperposition-tools.opam b/zipperposition-tools.opam
diff --git a/zipperposition.opam b/zipperposition.opam