diff options
author | Thomas Guyot-Sionnest <dermoth@aei.ca> | 2010-04-28 05:28:22 -0400 |
---|---|---|
committer | Thomas Guyot-Sionnest <dermoth@aei.ca> | 2010-04-28 05:28:22 -0400 |
commit | b48c2bdd59783197c93cde531e6e8b9747c0a88f (patch) | |
tree | 27d3ccfb0dabcbe2a9bf94f51211a17a07d1167f /plugins-root | |
parent | 3a2f2975e665b2729deae07c4ebb9c27a2fce9d5 (diff) | |
download | monitoring-plugins-b48c2bdd59783197c93cde531e6e8b9747c0a88f.tar.gz |
tools/distclean: use git-clean when possible
git-clean is much faster and more reliable...
Also add confdefs.h in gitignore, although this file is normally removed
at the end of the configure script.
Diffstat (limited to 'plugins-root')
0 files changed, 0 insertions, 0 deletions