diff options
| author | Rob Austein <sra@hactrn.net> | 2021-10-08 00:30:08 -0400 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2021-10-08 00:30:08 -0400 |
| commit | 71487660812754e5f26f26595b6c3d456f9f6db8 (patch) | |
| tree | e960190262edcbb0164edbac1e52915c5a339442 /tools/rpki-wiki-to-markdown.py | |
| parent | b11298b250f63daf091591d1638608325f766d9a (diff) | |
Get rid of conversion stuff, just build content -> website
Diffstat (limited to 'tools/rpki-wiki-to-markdown.py')
| m--------- | tools | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools b/tools deleted file mode 160000 -Subproject e3e70b874873d8586f84606d4d76c162f36846c |