diff options
author | Jay Satiro <raysatiro@yahoo.com> | 2017-02-22 14:08:29 -0500 |
---|---|---|
committer | Jay Satiro <raysatiro@yahoo.com> | 2017-02-22 14:08:29 -0500 |
commit | 035c2eceeb0b29ec71ee64f83b5278144945d34f (patch) | |
tree | a6123d8ebcd18964245e242a7b38cdc880542fce /docs/.gitignore | |
parent | f57eb1f8e35d0b56a4de6ea8c2db269bc28242ed (diff) |
docs: gitignore curl.1
curl.1 is generated by the cmdline-opts script since 4c49b83.
Diffstat (limited to 'docs/.gitignore')
-rw-r--r-- | docs/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore index 23f832b73..7928dc945 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,2 +1,3 @@ *.html *.pdf +curl.1 |