diff options
| author | jjl | 2010-09-23 04:41:19 +0200 |
|---|---|---|
| committer | jjl | 2010-09-23 04:41:19 +0200 |
| commit | da5372e49f47271f000d1f51887a93556fd0cda2 (patch) | |
| tree | 4628e2737614f2567bb6f71adfb69cba5c758641 /src/util/pvsSettingsManager.cpp | |
| parent | [PVSGUI] Turn on/off toolbar via menu and cmd-switch (pvsgui -h) (diff) | |
| download | pvs-da5372e49f47271f000d1f51887a93556fd0cda2.tar.gz pvs-da5372e49f47271f000d1f51887a93556fd0cda2.tar.xz pvs-da5372e49f47271f000d1f51887a93556fd0cda2.zip | |
[PVSGUI] Only one instance should be allowed now
Diffstat (limited to 'src/util/pvsSettingsManager.cpp')
0 files changed, 0 insertions, 0 deletions