diff options
| author | Paul Buetow <paul@buetow.org> | 2023-03-12 16:57:18 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2023-03-12 16:57:18 +0200 |
| commit | 1470124a90bd16b9795466128527cdfa763891cb (patch) | |
| tree | ec8dd44f66e97cdfc4e1862bea8ec40776316eed /gemfeed/2010-05-07-lazy-evaluation-with-standarn-ml.gmi | |
| parent | 74dcb4e783475593efa3ad077e3946756230c62c (diff) | |
add publishing stamps to .gmi
Diffstat (limited to 'gemfeed/2010-05-07-lazy-evaluation-with-standarn-ml.gmi')
| -rw-r--r-- | gemfeed/2010-05-07-lazy-evaluation-with-standarn-ml.gmi | 2 |
1 files changed, 1 insertions, 1 deletions
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 70cf9190..329e82c0 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 -> Published by Paul at 2010-05-07 10:17:59 CEST +> Author: Paul; Published: 2010-05-07T08:17:59+01:00 ``` |