From eadaee315eb142d1537d617da58343e3d7f1df0a Mon Sep 17 00:00:00 2001 From: Michael Merickel Date: Sun, 14 Oct 2018 21:52:48 -0500 Subject: get rid of sh scripts --- builddocs.sh | 3 --- 1 file changed, 3 deletions(-) delete mode 100755 builddocs.sh (limited to 'builddocs.sh') diff --git a/builddocs.sh b/builddocs.sh deleted file mode 100755 index 0859fe268..000000000 --- a/builddocs.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -tox -e docs - -- cgit v1.2.3