aboutsummaryrefslogtreecommitdiff
path: root/tools/rpki-wiki-to-markdown.py
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2021-07-11 22:47:07 +0000
committerRob Austein <sra@hactrn.net>2021-07-11 22:47:07 +0000
commit09631677067ded50c95958f02bec7d81e7e0bda7 (patch)
tree0cfb80a1e54cc2a4ea8997d4261552863b5e8eb7 /tools/rpki-wiki-to-markdown.py
parentd85a1e4e2eaa340dc83938bfda33bf2a9e7f50f6 (diff)
Synthetic landing page
Need to copy the landing page hack back into tools/GNUmakefile and tweak the rule so that we don't regenerate it unless something has changed (otherwise it'll change every run, because of the generated date stamp). But right now it's time for dinner.
Diffstat (limited to 'tools/rpki-wiki-to-markdown.py')
m---------tools0
1 files changed, 0 insertions, 0 deletions
diff --git a/tools b/tools
-Subproject 9830a562f93005599e09964bcea79c901fb94bb
+Subproject 8a435a7c4d84d454e1272856d2921213e708ca5