From 85cb76a14cba7b077ec8c65720885ec74ff14673 Mon Sep 17 00:00:00 2001 From: Dag Date: Thu, 19 Jan 2023 22:15:01 +0100 Subject: [PATCH] Remove reference to monokai --- demo.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/demo.in b/demo.in index 1311018..a0c3dd0 100644 --- a/demo.in +++ b/demo.in @@ -1,5 +1,5 @@ #ECHO -Highlighting demo using Monokai dark theme. +Highlighting demo using dark theme. #BEGIN_COMP SC Marker with folding button in margin