diff options
| author | wg <wg@FreeBSD.org> | 2013-12-01 20:46:48 +0800 |
|---|---|---|
| committer | wg <wg@FreeBSD.org> | 2013-12-01 20:46:48 +0800 |
| commit | 10f2195942e33e57eadac8c6c58d61d4ac74bdda (patch) | |
| tree | 4e390aa7dccbda70059a012c091009b2768fddd5 /textproc/itstool/distinfo | |
| parent | 6903e63995c5496be45894f3052accd850980609 (diff) | |
| download | freebsd-ports-gnome-10f2195942e33e57eadac8c6c58d61d4ac74bdda.tar.gz freebsd-ports-gnome-10f2195942e33e57eadac8c6c58d61d4ac74bdda.tar.zst freebsd-ports-gnome-10f2195942e33e57eadac8c6c58d61d4ac74bdda.zip | |
lang/polyml: allow staging
- Allow staging
- Fix build on head
PR: ports/184074
Submitted by: maintainer
Diffstat (limited to 'textproc/itstool/distinfo')
0 files changed, 0 insertions, 0 deletions