From dee985203e793cac58a178ff532ae68405276ec8 Mon Sep 17 00:00:00 2001 From: Dag Evensberget Date: Thu, 6 Feb 2020 07:24:21 +1000 Subject: [PATCH] Whitespace linting of INSTALL.md --- INSTALL.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index dd44a0b..7e2e4d0 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -6,8 +6,6 @@ _Alternatively_, the extension can be built and installed manually as in the nex ## Manual installation from source code - - 1. Clone the repository and enter into the folder ```bash @@ -40,4 +38,4 @@ To test the installation, open the current folder in VS Code code . ``` -and view the file `demo.in`. \ No newline at end of file +and view the file `demo.in`.