diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-04-12 17:58:37 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-04-12 18:00:33 +0200 |
| commit | eb472103d1b4496f6c7b72a1f1997d06f4ce7b97 (patch) | |
| tree | 1cd6d0ea8448afd055d3a37937d595c79b0b8bb8 /x11-drivers | |
| parent | media-gfx/eog-plugins: remove picasa USE flag (diff) | |
| download | gentoo-eb472103d1b4496f6c7b72a1f1997d06f4ce7b97.tar.gz gentoo-eb472103d1b4496f6c7b72a1f1997d06f4ce7b97.tar.bz2 gentoo-eb472103d1b4496f6c7b72a1f1997d06f4ce7b97.zip | |
sci-mathematics/coq: update bug reference
Closes: https://bugs.gentoo.org/904186
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'x11-drivers')
0 files changed, 0 insertions, 0 deletions