diff options
author | jjl | 2010-10-14 17:57:55 +0200 |
---|---|---|
committer | jjl | 2010-10-14 17:57:55 +0200 |
commit | a498546d6200bdce6027110122d518b15747b3c1 (patch) | |
tree | 33a283bd20661237e605c624fb7aa465997e4d79 /icons | |
parent | [PVSMGR] dummies removed (diff) | |
download | pvs-a498546d6200bdce6027110122d518b15747b3c1.tar.gz pvs-a498546d6200bdce6027110122d518b15747b3c1.tar.xz pvs-a498546d6200bdce6027110122d518b15747b3c1.zip |
[PVSGUI] No X required for --help and --version
Diffstat (limited to 'icons')
0 files changed, 0 insertions, 0 deletions