diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-07-23 23:28:33 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-07-23 23:29:34 +0200 |
| commit | c3c003be69319667b34b030fa52974e25aef0c9b (patch) | |
| tree | 26038f897654b6b88dc791469b6e58771a3765e9 /.dir-locals.el | |
| parent | 277f58040b2d4613795411f5b84f7e00b623135f (diff) | |
gnu: java-xmlpull2: Use mirrored source and archived home page.
* gnu/packages/xml.scm (java-xmlpull2)[source]: Download from a Gentoo
distfiles mirror.
[home-page]: Point to an archive.org snapshot.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions