Replaced JOS XML specifications with preprocessed pickle

This commit is contained in:
2021-09-30 00:22:43 +02:00
parent eca02ebdd3
commit a088025026
9 changed files with 38 additions and 37878 deletions

1
MANIFEST.in Normal file
View File

@@ -0,0 +1 @@
include conversion_utils/resources/jos_specifications.pickle