diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2026-05-19 15:13:04 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2026-05-19 15:13:04 +0300 |
| commit | e90cafc2886dec40d241db16cc5cf89d44d34502 (patch) | |
| tree | 8c32263080eefbf073a459d421aa8d7c1f333abb /java/org/gnu | |
| parent | 520c5b7c71b38464f8fdcee0e61532086a96b466 (diff) | |
; * doc/lispref/display.texi (Displaying Faces): Mention 'margin' face.
Diffstat (limited to 'java/org/gnu')
0 files changed, 0 insertions, 0 deletions