diff options
| author | Makarius Wenzel | 2008-07-07 12:18:13 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2008-07-07 12:18:13 +0000 |
| commit | 44e57f1e2fceac5ccc67f5a246a95eec2fe9fe7b (patch) | |
| tree | 9dc76d3c355f241191b5c75fcb1fe061c50a5dc2 /generic | |
| parent | 5d1eb7c5ca8d5eda74b3212f7447056605bcbdaf (diff) | |
defface: using proof-face-specs makes faces appear on non-X11 window systems as well;
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions