add source code link main
authorJann Horn <jann@thejh.net>
Mon, 2 Sep 2024 01:33:41 +0000 (03:33 +0200)
committerJann Horn <jann@thejh.net>
Mon, 2 Sep 2024 01:33:41 +0000 (03:33 +0200)
main.py

diff --git a/main.py b/main.py
index 228f587..d97f449 100755 (executable)
--- a/main.py
+++ b/main.py
@@ -413,6 +413,7 @@ def app(environ, start_response):
     out.append('        <input type="text" name="msgid" size="50" value="'+html.escape(msgid)+'">')
     out.append('        <button>lookup</button>')
     out.append('      </form>')
+    out.append('      <a href="https://git.thejh.net/?p=mehlbrei.git;a=blob;f=main.py;hb=refs/heads/main">Source code</a>')
     out.append('    </div>')
     out.append('    <div id="below-header">')