diff --git a/tools/default-es/pe b/tools/default-es/pe deleted file mode 100644 index d905d9d..0000000 --- a/tools/default-es/pe +++ /dev/null @@ -1 +0,0 @@ -e