diff options
| author | marino <marino@FreeBSD.org> | 2014-06-08 18:48:10 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2014-06-08 18:48:10 +0800 |
| commit | a7ab9981c1ccb5f22ebb28303c13d38512d380f7 (patch) | |
| tree | 0c29c20efd3d93fa78babb4f41d0ad76c7861795 /mail/dovecot2-pigeonhole | |
| parent | 06dd15ae04850f1b2cdec4ccaa657fb93eaf4fc1 (diff) | |
| download | freebsd-ports-gnome-a7ab9981c1ccb5f22ebb28303c13d38512d380f7.tar.gz freebsd-ports-gnome-a7ab9981c1ccb5f22ebb28303c13d38512d380f7.tar.zst freebsd-ports-gnome-a7ab9981c1ccb5f22ebb28303c13d38512d380f7.zip | |
math/why3-gpl: Increase distinction between this and math/wny3
The why3 project is worried that users will be confused between this
package and a "vanilla" why3, which was simultaneously added with this
one. They prefer that this port be completely renamed.
While I ponder that, I can at least improve the situation by fixing the
descriptions to lessen the chance of confusion between the ports.
Diffstat (limited to 'mail/dovecot2-pigeonhole')
0 files changed, 0 insertions, 0 deletions