diff options
author | Gonçalo Negrier Duarte <gonegrier.duarte@gmail.com> | 2024-06-02 23:09:19 +0100 |
---|---|---|
committer | Gonçalo Negrier Duarte <gonegrier.duarte@gmail.com> | 2024-06-02 23:11:07 +0100 |
commit | cf19ee3f779d95be2d5f52752905a6a21f901ffa (patch) | |
tree | 8a7100998cdd3b4391d00bd57667b5c6819fbbbb /dev-cpp/units/files | |
parent | media-libs/imgui: add 1.90.7, drop 1.90.6 (diff) | |
download | guru-master.tar.gz guru-master.tar.bz2 guru-master.zip |
* add missing mangoplot useflag (thanks nillerusr)
Closes: https://github.com/gentoo/guru/pull/195
Signed-off-by: Gonçalo Negrier Duarte <gonegrier.duarte@gmail.com>
Diffstat (limited to 'dev-cpp/units/files')
0 files changed, 0 insertions, 0 deletions