diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-08-27 18:37:28 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-08-27 18:39:45 +0200 |
| commit | dc67fa4fe7387bf3b268b9941871793a947dfb30 (patch) | |
| tree | a90ee533db40c5fb8327aba26075835eeefad53c | |
| parent | Additional tweaks to the design (diff) | |
Add an (empty) projects page
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | site/projects/index.org | 5 |
2 files changed, 6 insertions, 0 deletions
@@ -38,6 +38,7 @@ site/posts/MixingLtacAndGallina.html site/posts/Ltac101.html site/posts/ClightIntroduction.html site/posts/StronglySpecifiedFunctionsProgram.html +site/projects.html site/news/ColorlessThemes-0.2.html site/cleopatra/soupault.html site/cleopatra/org.html diff --git a/site/projects/index.org b/site/projects/index.org new file mode 100644 index 0000000..705ef55 --- /dev/null +++ b/site/projects/index.org @@ -0,0 +1,5 @@ +#+BEGIN_EXPORT html +<h1>Projects</h1> +#+END_EXPORT + +To be written. One day. |