From ba4c9776ec6d547d424114bef601abc5ea55dad9 Mon Sep 17 00:00:00 2001
From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Tue, 19 Sep 2017 08:38:30 +0200
Subject: [PATCH] We no longer need dist.sh

We do need a make_tarball.sh script however
---
 dist.sh | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 dist.sh

diff --git a/dist.sh b/dist.sh
deleted file mode 100755
index 4e520b4..0000000
--- a/dist.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#! /bin/sh
-
-cp AUTHORS.md    dist/
-cp LICENCE.md    dist/
-cp tests/gen/vectors.h dist/tests/vectors.h
-
-- 
2.47.3