Skip to content

Commit

Permalink
dev-lang/gnat-gpl: remove unused patch
Browse files Browse the repository at this point in the history 
Signed-off-by: Michael Mair-Keimberger <[email protected]>
Closes: gentoo#13921
Signed-off-by: Aaron Bauman <[email protected]>
  • Loading branch information
@mm1ke @FuzzyGophers
mm1ke authored and FuzzyGophers committed Dec 8, 2019
1 parent 322ae8e commit 3f4f3f5
Showing 1 changed file with 0 additions and 31 deletions.
31 changes: 0 additions & 31 deletions dev-lang/gnat-gpl/files/gnat-gpl-2016-ustat.patch
View file

This file was deleted.

0 comments on commit 3f4f3f5

Please sign in to comment.