diff options
| author |   João Santos <joaompssantos@gmail.com> | 2018-08-29 13:12:54 +0100 |
|---|---|---|
| committer |   Michał Górny <mgorny@gentoo.org> | 2018-09-16 21:39:17 +0200 |
| commit | b3b4a8799df79f75c725fb9df142766976c80a94 (patch) | |
| tree | 3defa50f1431be118f1aca3b03eaafbde123fd7d /media-plugins | |
| parent | app-text/master-pdf-editor: removed 5.1.00 as sources are no longer (diff) | |
| download | gentoo-b3b4a8799df79f75c725fb9df142766976c80a94.tar.gz gentoo-b3b4a8799df79f75c725fb9df142766976c80a94.tar.bz2 gentoo-b3b4a8799df79f75c725fb9df142766976c80a94.zip | |
app-text/master-pdf-editor: version bump to 5.1.36
Closes: https://github.com/gentoo/gentoo/pull/9775
Diffstat (limited to 'media-plugins')
0 files changed, 0 insertions, 0 deletions