Merge pull request #33734 from gsmet/clean-jakarta-directory

Drop the jakarta directory
quarkusio · May 31, 2023 · c2b4c5c · c2b4c5c
2 parents 1cf8513 + 36967c4
commit c2b4c5c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 202 deletions.
diff --git a/jakarta/PropertiesToRecipe.java b/jakarta/PropertiesToRecipe.java
diff --git a/jakarta/jakarta-renames.properties b/jakarta/jakarta-renames.properties