diff options
| author | bjculkin <bjculkin@localhost> | 2023-10-25 23:00:44 +0000 |
|---|---|---|
| committer | bjculkin <bjculkin@localhost> | 2023-10-25 23:00:44 +0000 |
| commit | cbf4dda5cc09dc6d2c3c10329e7941923cc04e2e (patch) | |
| tree | 87d199f6b7eb45046ddb2489c6b8d85d846cab6c /pom.xml | |
| parent | 0f958b08b3446a866418aa485bb60c208d952033 (diff) | |
Tweak for new setup
Also, add some tests for Context
Diffstat (limited to 'pom.xml')
| -rw-r--r-- | pom.xml | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -24,8 +24,8 @@ </scm> <properties> <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> - <maven.compiler.source>17</maven.compiler.source> - <maven.compiler.target>17</maven.compiler.target> + <maven.compiler.source>11</maven.compiler.source> + <maven.compiler.target>11</maven.compiler.target> <!-- github server corresponds to entry in ~/.m2/settings.xml --> <github.global.server>github</github.global.server> </properties> |