diff options
| author | Brett Gilio <brettg@posteo.net> | 2019-12-15 16:02:43 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@posteo.net> | 2019-12-15 16:02:43 -0600 |
| commit | e67118adb4a6faf4d442ccc1d3042be522b8d0c5 (patch) | |
| tree | 129878368ff7972716000e3c7e2f6e59d08cc1d3 /gnu/packages/agda.scm | |
| parent | 099ce5d4901706dc2c5be888a5c8cbf8fcd0d576 (diff) | |
gnu: Add emacs-hide-mode-line.
* gnu/packages/emacs-xyz.scm (emacs-hide-mode-line): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions