diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2020-06-23 15:53:54 +0300 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2020-06-23 15:53:54 +0300 |
commit | b5698f5b38588c3a5f883bd546d8c4f1de68e053 (patch) | |
tree | 79170f7bc2aba8423f943c750a8532d9325fe618 /.gitignore | |
parent | 1ed87c010e37100fb0bf637fbd13d75a601a4019 (diff) | |
download | guix-b5698f5b38588c3a5f883bd546d8c4f1de68e053.tar.gz |
gnu: java-picocli: Use a source file-name.
* gnu/packages/java.scm (java-picocli)[source]: Add a file-name field.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions