From 7cb761b708f55a9c9ccbfa9c632fe83bf3c60c19 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sun, 12 Mar 2023 17:25:34 +0200 Subject: change header format --- gemfeed/2010-05-07-lazy-evaluation-with-standarn-ml.gmi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gemfeed/2010-05-07-lazy-evaluation-with-standarn-ml.gmi') diff --git a/gemfeed/2010-05-07-lazy-evaluation-with-standarn-ml.gmi b/gemfeed/2010-05-07-lazy-evaluation-with-standarn-ml.gmi index 329e82c0..10b67289 100644 --- a/gemfeed/2010-05-07-lazy-evaluation-with-standarn-ml.gmi +++ b/gemfeed/2010-05-07-lazy-evaluation-with-standarn-ml.gmi @@ -1,6 +1,6 @@ # Lazy Evaluation with Standard ML -> Author: Paul; Published: 2010-05-07T08:17:59+01:00 +> Published at 2010-05-07T08:17:59+01:00 ``` -- cgit v1.2.3