diff options
| author | David Aspinall | 2002-08-16 20:11:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-16 20:11:24 +0000 |
| commit | 45f294fdec0b329bceaf5a5ff3ed910bba1b15d4 (patch) | |
| tree | 7ef01fcc07da30eca4f3d6c836048e55b21585fd /html | |
| parent | 596b3f243c0a8742ab3b9ba3762dbcdc81dfc840 (diff) | |
Tweaks to faces. Set visible default for tactics-name-face.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions