diff options
Diffstat (limited to 'etc/compilation.txt')
-rw-r--r-- | etc/compilation.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/etc/compilation.txt b/etc/compilation.txt index e56d3b68476..01d4df1b09d 100644 --- a/etc/compilation.txt +++ b/etc/compilation.txt @@ -692,3 +692,11 @@ COPYING PERMISSIONS: You should have received a copy of the GNU General Public License along with this program. If not, see <https://www.gnu.org/licenses/>. + + +;;; Local Variables: +;;; outline-regexp: "\\*\\_>" +;;; outline-minor-mode-cycle: t +;;; outline-minor-mode-highlight: t +;;; eval: (outline-minor-mode 1) +;;; End: |