diff --git a/lean.xml b/lean.xml deleted file mode 100644 index b3ad402..0000000 --- a/lean.xml +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - -