diff options
author | jonmv <venstad@gmail.com> | 2022-10-07 13:07:44 +0200 |
---|---|---|
committer | jonmv <venstad@gmail.com> | 2022-10-07 13:07:44 +0200 |
commit | e5dbf486e85ff0f8eb0aa3de0af51f9b8c169513 (patch) | |
tree | dc07741abaa0558b2914c471ce1034ea8695fa02 /jdisc_core | |
parent | 67afeb4c00ba1530a40bfcf1d7a863e276331871 (diff) |
Convert record to class, since we need to build this for JDK 8
Diffstat (limited to 'jdisc_core')
0 files changed, 0 insertions, 0 deletions