diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 15:11:41 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 15:11:41 -0700 |
| commit | f51adc7ca079c0ad04677d70ef4e72ce7766c443 (patch) | |
| tree | 13528c8b6a9477f2f4a91ba9c48ac92d908e6454 /Config.mk.sample | |
| parent | ce457865b1c0f13e31bf1b48e796b7e95272c2cb (diff) | |
Better looking buttons on the various options page editors
Diffstat (limited to 'Config.mk.sample')
0 files changed, 0 insertions, 0 deletions