diff options
author | Wim Muskee <wimmuskee@gmail.com> | 2019-04-12 19:37:23 +0200 |
---|---|---|
committer | Jonas Stein <jstein@gentoo.org> | 2019-04-22 16:10:32 +0200 |
commit | 3921b4c15bb2775bac57d492c2c31b6bacf36771 (patch) | |
tree | 4d8e2c11ec6502eececa92f7607cfa53de7c9a8e /app-misc | |
parent | dev-lang/mono: bump to 5.20.1.19 (diff) | |
download | gentoo-3921b4c15bb2775bac57d492c2c31b6bacf36771.tar.gz gentoo-3921b4c15bb2775bac57d492c2c31b6bacf36771.tar.bz2 gentoo-3921b4c15bb2775bac57d492c2c31b6bacf36771.zip |
dev-tex/envlab: update HOMEPAGE, metadata
Closes: https://bugs.gentoo.org/680704
Signed-off-by: Wim Muskee <wimmuskee@gmail.com>
Signed-off-by: Jonas Stein <jstein@gentoo.org>
Diffstat (limited to 'app-misc')
0 files changed, 0 insertions, 0 deletions