git-update-mirror: Remove a useless sed(1) call
[monitoring-plugins.git] / doc / 
treee5e65739eb310ab26b44cee91e047d0ab3ba6272
drwxr-xr-x   ..
-rw-r--r-- 525 LEAVERS
-rw-r--r-- 1160 NEW_STARTERS
-rw-r--r-- 73 README
-rw-r--r-- 1856 RELEASING
-rw-r--r-- 32025 developer-guidelines.sgml
-rw-r--r-- 352 makefile