From 715bd165fc676dfa7248175dbbcf06bf547cecce Mon Sep 17 00:00:00 2001 From: Felix Benedikt Drees Date: Mon, 30 Oct 2023 00:26:39 +0100 Subject: [PATCH] html in org?!?! --- README.org | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.org b/README.org index 765d83b..582bf45 100644 --- a/README.org +++ b/README.org @@ -2,12 +2,15 @@ Parser and interpreter for the While programming language + +#+begin_export html

Haskell CI/CD Pipeline Status

+#+end_export ** usage