mirror of
https://github.com/monitoring-plugins/monitoring-plugins.git
synced 2026-06-08 16:26:23 -04:00
Fix merge error
This commit is contained in:
parent
6a7c0d067f
commit
45ea3e7b9f
1 changed files with 1 additions and 1 deletions
|
|
@ -81,7 +81,7 @@ EXTRA_DIST = t \
|
|||
check_ntp_time.d \
|
||||
check_dig.d \
|
||||
check_cluster.d \
|
||||
check_curl.d
|
||||
check_curl.d \
|
||||
check_cluster.d \
|
||||
check_ups.d \
|
||||
check_fping.d
|
||||
|
|
|
|||
Loading…
Reference in a new issue