Fix issue 14 (#15)

handle duplicate key tags, gen duplicate key tags, other minor cleanup
This commit is contained in:
2024-03-25 00:38:47 -04:00
committed by GitHub
parent 5fef1dcf24
commit 6118ae718e
10 changed files with 119 additions and 54 deletions

View File

@@ -47,8 +47,8 @@
deprecation="true"
includeantruntime="false"
includes="com/verisignlabs/dnssec/"
source="11"
target="11" />
source="17"
target="17" />
</target>
<target name="sectools-jar" depends="usage,sectools">