diff options
| author | Peter Simons <simons@cryp.to> | 2015-09-10 16:44:19 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2015-09-10 16:47:43 +0200 |
| commit | 10d196c7f1a58d8a426137837692937318c6e969 (patch) | |
| tree | b3f5e9609053ff71554c1aee0d5a11f2b4778267 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | b29e426a62220c0a3077669fbf8731e1ffe9d214 (diff) | |
sqldeveloper: update to version 4.1.1.19.59
I also switched the build to depend on openjdk instead of Oracle's proprietary
one. I'm open to suggestions on how to determine the proper value of $JAVA_HOME
in a jdk-agnostic fashion. Right now, I just hard-coded the proper choice for
openjdk.
* pkgs/development/tools/database/sqldeveloper/default.nix:
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions