+ diagnose.py: added --refresh option so that cached values can be refresh, and either
[monitor.git] / Makefile
1 clean:
2         rm *.pyc *.dat *.log