diff options
-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 |
![]() |
index : curl | |
cURL mirror with patches applied | Ben |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | docs/.gitignore | 1 |
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 |