1 files changed, 0 insertions, 0 deletions

diff --git a/lib/lean-mode b/lib/lean-mode
deleted file mode 160000
-Subproject 9d6b8471e2044310b4cd7cd3213b1fc8f78ec49