Remove some unused files

cxong · Jan 14, 2013 · 1e47ff1 · 1e47ff1
1 parent 2034710
commit 1e47ff1
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 72 deletions.
diff --git a/tools/COPYING b/tools/COPYING
diff --git a/tools/enable-keywords.sh b/tools/enable-keywords.sh
diff --git a/tools/gpl-prepend.sh b/tools/gpl-prepend.sh