diff options
| author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2016-01-04 11:18:05 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2016-03-14 12:36:49 +0100 |
| commit | 535e2a2feedf95c8a3b2ef390ad9c2e5935b60be (patch) | |
| tree | 08b7dc56bc73c782d537e8623ca6787c822c21c9 /doc | |
| parent | e1a56158759adda03de732ab1e3952a96919a4c0 (diff) | |
gnu: ant: Update source URL.
* gnu/packages/java.scm (ant)[source]: Use Apache mirror instead of
plain URL.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions