diff options
author | Maciej Barć <xgqt@gentoo.org> | 2021-11-26 13:48:46 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2021-11-26 14:08:08 +0100 |
commit | 543a6431c5085b03105132bec3e24576fdf4bfd6 (patch) | |
tree | 1a65ae075afcfbf996c425f4af4d1119d8aeedcf /sci-mathematics/metamath/files | |
parent | sci-mathematics/mathlib-tools: new package; add version 1.1.0 (diff) | |
download | gentoo-543a6431c5085b03105132bec3e24576fdf4bfd6.tar.gz gentoo-543a6431c5085b03105132bec3e24576fdf4bfd6.tar.bz2 gentoo-543a6431c5085b03105132bec3e24576fdf4bfd6.zip |
sci-mathematics/metamath: change patch filename
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/metamath/files')
-rw-r--r-- | sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch (renamed from sci-mathematics/metamath/files/dont_force_optimize.patch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/sci-mathematics/metamath/files/dont_force_optimize.patch b/sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch index 548b0042ecef..548b0042ecef 100644 --- a/sci-mathematics/metamath/files/dont_force_optimize.patch +++ b/sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch |