From 0fb15fc3f4b532faa3ca4fe49809f9d9e6c5cd53 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Fri, 29 Mar 2019 11:50:39 +1100
Subject: [PATCH] docs/develop: Remove paragraph that was copied in error from
 other doc.

---
 docs/develop/index.rst | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/docs/develop/index.rst b/docs/develop/index.rst
index 6b7b3c391..64dbc4661 100644
--- a/docs/develop/index.rst
+++ b/docs/develop/index.rst
@@ -1,9 +1,6 @@
 Developing and building MicroPython
 ===================================
 
-This chapter describes modules (function and class libraries) which are built
-into MicroPython. There are a few categories of such modules:
-
 This chapter describes some options for extending MicroPython in C. Note
 that it doesn't aim to be a complete guide for developing with MicroPython.
 See the `getting started guide
-- 
GitLab