From 34146f257f4cea71c09ff892883d3f530587f84e Mon Sep 17 00:00:00 2001
From: Christian Krause <christian.krause@idiv.de>
Date: Thu, 12 Dec 2019 16:01:35 +0100
Subject: [PATCH] adds note about why we prefer simple editors
---
basics.html | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/basics.html b/basics.html
index 606907f..53f3da4 100644
--- a/basics.html
+++ b/basics.html
@@ -477,6 +477,10 @@
```
notes:
+ - if you already have another *core* editor for yourself, feel free
+ to use it
+ - if not, please stick to a simple-to-use one for the duration of
+ the seminar
</section>
</section>
--
GitLab