diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-08-27 15:05:29 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-08-27 15:05:29 +0200 |
commit | b065628fb1ffa6edf8f35a690931c2d56d26ab3e (patch) | |
tree | f5c75029bc4b61de228e809889dc58f5907e5fb6 /site/news | |
parent | Make the two articles about Ltac refer to each other (diff) |
Simplify the theme
Diffstat (limited to 'site/news')
-rw-r--r-- | site/news/index.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/site/news/index.html b/site/news/index.html index 1bbb731..1664aed 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -1,7 +1,5 @@ <h1>News</h1> -<h2>Hobbyist Projects</h2> - <ul> <li> On <strong>April 17, 2020</strong>, my first contribution to |