diff options
author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-07-02 10:49:17 +0200 |
---|---|---|
committer | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-07-02 10:50:55 +0200 |
commit | f4f4ced8dccba6bc0b7c5d5e4c90cdb6488d1faf (patch) | |
tree | 3348844163aa910171f227de86127e1c86dbe675 /.dir-locals.el | |
parent | 28de8d258b30f887053d43b2d75a7ed5e2fa2adc (diff) | |
download | patches-f4f4ced8dccba6bc0b7c5d5e4c90cdb6488d1faf.tar patches-f4f4ced8dccba6bc0b7c5d5e4c90cdb6488d1faf.tar.gz |
gnu: r: Set default pager.
* gnu/packages/statistics.scm (r)[arguments]: Add phase "set-default-pager" to
avoid "false" as a default pager.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions