diff options
| author | Eli Zaretskii | 2023-06-23 13:47:53 +0300 |
|---|---|---|
| committer | Eli Zaretskii | 2023-06-23 13:47:53 +0300 |
| commit | accff13e646c06f3ce526b62c5ca81a76361da6e (patch) | |
| tree | 0084eafceb2dfdb3e776051487d0a03eb67f121c /java/debug.sh | |
| parent | ddf508e8acbe7ad29879dd0a5e341a6acea5c772 (diff) | |
| download | emacs-accff13e646c06f3ce526b62c5ca81a76361da6e.tar.gz emacs-accff13e646c06f3ce526b62c5ca81a76361da6e.zip | |
Revert "; Fix last change"
This reverts commit 05c2be28a3e97bd920d0bf8c8b59ec682a420cce.
This is part of removing the recently-added feature whereby
certain non-nil values of 'header-line-format' could signal
that the header line shall not be displayed. The feature is
being reverted because its advantages are very minor, whereas
the complications it causes are serious.
Diffstat (limited to 'java/debug.sh')
0 files changed, 0 insertions, 0 deletions