From e05986c02a6e2c71a8ec0715edf1d9c536a95898 Mon Sep 17 00:00:00 2001 From: Laurent Bercot Date: Thu, 15 Mar 2018 15:39:45 +0000 Subject: Second draft --- tools/rename-bins | 5 ----- 1 file changed, 5 deletions(-) delete mode 100755 tools/rename-bins (limited to 'tools/rename-bins') diff --git a/tools/rename-bins b/tools/rename-bins deleted file mode 100755 index a613278..0000000 --- a/tools/rename-bins +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh -e - -while read old new html ; do - mv -f "./$old" "./$new" -done < ./tools/name-table -- cgit v1.2.3