chore(docs/install/debian): Remove old sentence [ci skip]

leanprover-community · Oct 12, 2019 · 76090be · 76090be
1 parent 2751561
commit 76090be
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/docs/install/debian.md b/docs/install/debian.md
@@ -2,8 +2,7 @@
 
 This document explains how to get started with Lean and mathlib if you
 are using a Linux distribution derived from Debian (Debian itself,
-Ubuntu, LMDE,...). This document has three parts: installing Lean,
-creating a new project, and working on an existing project.
+Ubuntu, LMDE,...).
 
 If you get stuck, please come to [the chat room](https://leanprover.zulipchat.com/) to ask for assistance.