diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2021-11-23 19:42:38 +0100 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2021-11-23 19:46:27 +0100 |
commit | 07430e514aaf163ac41627ad2f2eb895be2ee7e3 (patch) | |
tree | 9a710ef916fd6cf886552c9ae3605aeaecf8b6e6 /tools | |
parent | 383c6f41e8be618daa822bc958eb4bf62e9a1af1 (diff) | |
download | systemd-07430e514aaf163ac41627ad2f2eb895be2ee7e3.tar.gz |
docs: remove comment that makes githubs renderer very angry
It is fine on github.com, but not on github.io.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/list-discoverable-partitions.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/list-discoverable-partitions.py b/tools/list-discoverable-partitions.py index 2ad179c776..8d95902eba 100644 --- a/tools/list-discoverable-partitions.py +++ b/tools/list-discoverable-partitions.py @@ -6,7 +6,6 @@ import sys import uuid HEADER = f'''\ -<!-- generated with {sys.argv[0]} --> | Partition Type UUID | Name | Allowed File Systems | Explanation | |---------------------|------|----------------------|-------------| ''' |