diff options
author | Louie S <louie@example.com> | 2023-03-11 20:35:06 -0800 |
---|---|---|
committer | Louie S <louie@example.com> | 2023-03-13 21:31:09 -0700 |
commit | ba2e24c9a7beb20281af7357f18b18aa94bd108c (patch) | |
tree | 28099cf206287f36aa5bf9234b395b02e273e47a /.gitignore | |
parent | 7fb869868f708f28d5351cce0ccfe0d9e183568e (diff) |
Improve HTML parsing; index the index entries
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,3 +1,3 @@ -/GNU_Make.docset -/GNU_Make.tgz +/GNU_Bison.docset +/GNU_Bison.tgz /tmp |