diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-10-29 21:48:50 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-10-29 21:52:15 -0400 |
| commit | 920ea0cd2790b99d83bcfcd695841308643e2685 (patch) | |
| tree | 4c3356612c2a063832423516f8baab8212d4587b /Source/Provers/Z3 | |
| parent | 8abf904351151c0c503ccd984b6c0225c47ba4a6 (diff) | |
Make BVD pick up on GTK colour scheme
Suggest libgtk2.0-0; if installed, BVD will use the set GTK colours.
Diffstat (limited to 'Source/Provers/Z3')
0 files changed, 0 insertions, 0 deletions