Configure setup_instruments (for the mutex page) if possible on startup, and restore...
[pstop.git] / .gitignore
1 pstop
2 *.log