diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-23 17:42:53 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-23 17:42:53 +0100 |
commit | 49eaeab76be368bcb57603ebb64300270653f9a8 (patch) | |
tree | eeeb6b0ae530ff0bf8a994dda36556a7465f1c3a /site/news | |
parent | Remove useless `sed' call in Coq file generation process (diff) |
Announce to the world that cleopatra is bootstrapped
Diffstat (limited to 'site/news')
-rw-r--r-- | site/news/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/site/news/index.html b/site/news/index.html index 0dfe7e3..b24d11a 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -4,6 +4,11 @@ <ul> <li> + On <strong>February 23, 2020</strong>, + <strong><code>cleopatra</code></strong> has been completely + bootstrapped, in that itit generates itself! + </li> + <li> On <strong>February 15, 2020</strong>, I have tagged and released <code>colorless-themes-0.2</code>, <code>nordless-theme-0.2</code>, |