diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2017-10-17 16:45:28 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2017-10-17 16:49:20 +0200 |
| commit | 8843373322b2d1a95175c578659fb1521461ef6a (patch) | |
| tree | 3bfbce3c8e06bc74363853814136d11f9e286ce7 /gnu/local.mk | |
| parent | c56c5e78eac14e5d56b1b71e572d2cb41f8c812f (diff) | |
| download | patches-8843373322b2d1a95175c578659fb1521461ef6a.tar patches-8843373322b2d1a95175c578659fb1521461ef6a.tar.gz | |
gnu: java-jgit: Include properties files.
* gnu/packages/version-control.scm (java-jgit)[arguments]: Add phase
"add-properties".
(java-jgit-4.2)[arguments]: Move modification of phases into
substitute-keyword-arguments clause.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions