diff options
Diffstat (limited to 'doc/source')
-rw-r--r-- | doc/source/introduction.rst | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/source/introduction.rst b/doc/source/introduction.rst index c07b56a..211b5a1 100644 --- a/doc/source/introduction.rst +++ b/doc/source/introduction.rst @@ -126,10 +126,7 @@ The source of the port can be downloaded by using the following command: .. code-block:: bash git clone https://github.com/mgielda/ecos-colibri-vf61.git - -Building eCos -============= - + Preparing an :abbr:`.ecc` file ------------------------------ |