diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-08-01 17:36:03 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-01 17:36:03 +0200 |
commit | 1da4ff5585c5c2d64ae3f8561486ec8c405dfd9e (patch) | |
tree | 753ba00b127c23a464184ee983d4a5761d7bd289 /pkgs/tools/games | |
parent | 17e9cd41c42a424f5783fa2d841ddc4952acacab (diff) | |
parent | 3bf9e658814b7f97cc733d8c712b0b0ecfc91a04 (diff) |
Merge pull request #240553 from tomodachi94/doc/prefer-maven.buildPackage
doc/maven: prefer maven.buildMavenPackage over mvn2nix
Diffstat (limited to 'pkgs/tools/games')
0 files changed, 0 insertions, 0 deletions