aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Andreas Baumann <mail@andreasbaumann.cc> 2017-04-14 21:10:40 +0200
committerGravatar Sven Nierlein <sven@nierlein.de> 2018-10-22 16:30:31 +0200
commit9960c56e5e09caf33a8010e52cb32a931fb3ab2a (patch)
tree584c3efc2dc5b7f6870894ec7f4cac0662d51753 /.gitignore
parentbbec77c7ecbc6ecaac06d2c8845f83a22546f273 (diff)
downloadmonitoring-plugins-9960c56e5e09caf33a8010e52cb32a931fb3ab2a.tar.gz
added -M<m> age option for document age, using picohttpparser from h2o (maybe handy
later to make a more robust header condition checker?)
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 91de2c7d..b238aef6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -202,6 +202,7 @@ NP-VERSION-FILE
/plugins/negate
/plugins/stamp-h*
/plugins/urlize
+/plugins/libpicohttpparser.a
# /plugins/t/
/plugins/t/*.tmp