diff options
| -rwxr-xr-x | TOOLS/checktree.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/TOOLS/checktree.sh b/TOOLS/checktree.sh index c5a5564652..05debaa11b 100755 --- a/TOOLS/checktree.sh +++ b/TOOLS/checktree.sh @@ -300,6 +300,3 @@ if [ "$_charset" == "yes" ]; then fi # ----------------------------------------------------------------------------- - -# End - |