diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-07-08 11:35:04 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-08 11:35:04 +0200 |
commit | 32ae736ab07b915c199010b795f00402bf21d552 (patch) | |
tree | 56b8108efe0957aec91f1cb1c52ee855333ef358 /about.html | |
parent | 7c9792d0d6556b3dfb591678d10a3939272daaca (diff) | |
download | ekdosis-32ae736ab07b915c199010b795f00402bf21d552.tar.gz |
a couple of missing lines
Diffstat (limited to 'about.html')
-rw-r--r-- | about.html | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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> |