diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-21 11:59:37 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-21 17:38:00 +0100 |
| commit | c3d8c6ac7e457bbde72ce54cd4caf4b9610e2d99 (patch) | |
| tree | 0abd88c4af40bbd350cb9d978b7b93f8312398e9 /gnu/local.mk | |
| parent | e1f791276144bc1737ab855226d3e66e58909f14 (diff) | |
gnu: emacs-pdf-tools: Use 'git-fetch'.
* gnu/packages/emacs.scm (emacs-pdf-tools)[source]: Switch to
GIT-FETCH.
[arguments]: In 'emacs-patch-variables' phase, make files writable.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions