summaryrefslogtreecommitdiffstats
path: root/site/index.org
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2021-09-04 18:32:45 +0200
committerThomas Letan <lthms@soap.coffee>2021-09-04 18:32:45 +0200
commita1c8da62dccd27701ff2f00c9a6e622a2ceb1d81 (patch)
tree2a43077d5a6ae3946ba73a2003e85f0b03131e86 /site/index.org
parentIncrease the size of the nav containers (diff)
Refine one more time the widths of the layout components
Diffstat (limited to 'site/index.org')
-rw-r--r--site/index.org11
1 files changed, 5 insertions, 6 deletions
diff --git a/site/index.org b/site/index.org
index e4a7e18..4a27d6c 100644
--- a/site/index.org
+++ b/site/index.org
@@ -1,11 +1,10 @@
#+TITLE: Technical Articles
-Over the past years, I have tried to capitalize on my findings. What I have
-lacked in regularity I made up for in subject exoticism.
-
-If you like what you read, have a question or for any other reasons
-really, you can shoot an [[mailto:lthms@soap.coffee][email]], or start a discussion on whichever
-site you like[fn::I personnaly enjoy [[https://lobste.rs/search?q=domain%3Asoap.coffee&what=stories&order=relevance][Lobste.rs]] very much].
+Over the past years, I have tried to capitalize on my findings. What I
+have lacked in regularity I made up for in subject exoticism. If you
+like what you read, have a question or for any other reasons really,
+you can shoot an [[mailto:lthms@soap.coffee][email]], or start a discussion on whichever site you
+like[fn::I personnaly enjoy [[https://lobste.rs/search?q=domain%3Asoap.coffee&what=stories&order=relevance][Lobste.rs]] very much].
* About Coq
:PROPERTIES: