dev-ada/gprbuild: remove unused patch

Signed-off-by: Michael Mair-Keimberger <[email protected]> Closes: gentoo#28426 Signed-off-by: Conrad Kostecki <[email protected]>
johu · Nov 25, 2022 · 6c8be7b · 6c8be7b
1 parent 315fa46
commit 6c8be7b
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/dev-ada/gprbuild/files/gprbuild-22.0.0-nm.patch b/dev-ada/gprbuild/files/gprbuild-22.0.0-nm.patch