diff options
author | Eric Wong <e@80x24.org> | 2019-05-24 02:57:56 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-05-24 02:59:14 +0000 |
commit | b56d4d2b4da1c6670cf31f62ba754018b8b27dcc (patch) | |
tree | 37985879c22f0bbc549c7bdb1cd33dc10973c734 /Documentation/.gitignore | |
parent | 9ed46d1cb99487ce96942f084c65ff95bce5017a (diff) | |
download | public-inbox-b56d4d2b4da1c6670cf31f62ba754018b8b27dcc.tar.gz |
They're nowhere to be found on Xapian.org, and links to external services are either too long (for manpages.debian.org) or have privacy-invasive tracking JS on them.
Diffstat (limited to 'Documentation/.gitignore')
-rw-r--r-- | Documentation/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore index e78a0d33..4d2ca22f 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -1,2 +1,3 @@ /public-inbox-*.txt /standards.txt +/.x |