aboutsummaryrefslogtreecommitdiff
path: root/about.html
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2020-07-08 11:35:04 +0200
committerRobert Alessi <alessi@robertalessi.net>2020-07-08 11:35:04 +0200
commit32ae736ab07b915c199010b795f00402bf21d552 (patch)
tree56b8108efe0957aec91f1cb1c52ee855333ef358 /about.html
parent7c9792d0d6556b3dfb591678d10a3939272daaca (diff)
downloadekdosis-32ae736ab07b915c199010b795f00402bf21d552.tar.gz
a couple of missing lines
Diffstat (limited to 'about.html')
-rw-r--r--about.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/about.html b/about.html
index 1bdf465..80f474f 100644
--- a/about.html
+++ b/about.html
@@ -31,6 +31,7 @@
31<ul> 31<ul>
32<li><p><code>ekdosis.dtx</code></p></li> 32<li><p><code>ekdosis.dtx</code></p></li>
33<li><p><code>ekdosis.ins</code></p></li> 33<li><p><code>ekdosis.ins</code></p></li>
34<li><p><code>ekdosis.el</code></p></li>
34<li><p><code>Makefile</code></p></li> 35<li><p><code>Makefile</code></p></li>
35</ul> 36</ul>
36<h2 id="license-applicable-to-the-documentation">License applicable to the documentation</h2> 37<h2 id="license-applicable-to-the-documentation">License applicable to the documentation</h2>