From f302ed072afe57858343dd6cfc38e5043c887374 Mon Sep 17 00:00:00 2001
From: Sora Morimoto <sora@morimoto.io>
Date: Mon, 2 May 2022 23:32:13 +0900
Subject: [PATCH] Remove outdated format.sh

Signed-off-by: Sora Morimoto <sora@morimoto.io>
---
 format.sh | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 format.sh

diff --git a/format.sh b/format.sh
deleted file mode 100755
index 2da2b67d5..000000000
--- a/format.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/bash
-
-echo "# Removing tabs"
-find ./ -regex "^\.\(/[a-zA-Z0-9_-.]*\)*.ml[il]?" -exec sed -i 's/	//g' {} \;
-echo "# Indent files"
-find ./ -regex "^\.\(/[a-zA-Z0-9_-.]*\)*.ml[il]?" -exec ocp-indent -i {} \;