diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/command_ignorelist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/command_ignorelist b/tools/command_ignorelist index fa160d17c6..6d0a81f330 100644 --- a/tools/command_ignorelist +++ b/tools/command_ignorelist @@ -568,3 +568,4 @@ file-hierarchy.xml /refsect1[title="Home Directory"]/variablelist/varlistentry[t file-hierarchy.xml /refsect1[title="Home Directory"]/variablelist/varlistentry[term="~/.local/lib/arch-id/"] file-hierarchy.xml /refsect1[title="Home Directory"]/variablelist/varlistentry[term="~/.local/share/"] file-hierarchy.xml /refsect1[title="Home Directory"]/variablelist/varlistentry[term="~/.local/state/"] +systemd-measure.xml /refsect1[title="Options"]/variablelist/varlistentry[term="--linux=PATH"] |