From 78588f24b9e19deea35eb388e91d52731d3b9959 Mon Sep 17 00:00:00 2001 From: Laurent Destailleur Date: Tue, 9 Mar 2021 10:42:59 +0100 Subject: [PATCH] Move git hooks pre-commit into dev/setup dir --- dev/{examples/git => setup/git/hooks}/pre-commit | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename dev/{examples/git => setup/git/hooks}/pre-commit (100%) diff --git a/dev/examples/git/pre-commit b/dev/setup/git/hooks/pre-commit similarity index 100% rename from dev/examples/git/pre-commit rename to dev/setup/git/hooks/pre-commit