diff options
| author | eadler <eadler@FreeBSD.org> | 2013-06-06 06:22:32 +0800 |
|---|---|---|
| committer | eadler <eadler@FreeBSD.org> | 2013-06-06 06:22:32 +0800 |
| commit | e2a0aafa98221e414ae0999d97199d609a96a0b5 (patch) | |
| tree | 79d64e8fc4a833f19a5d5c0cfc4fded7524f2b5e /math/alt-ergo | |
| parent | f354246b4a80e28927cbb2ace713b57821f38c17 (diff) | |
| download | freebsd-ports-gnome-e2a0aafa98221e414ae0999d97199d609a96a0b5.tar.gz freebsd-ports-gnome-e2a0aafa98221e414ae0999d97199d609a96a0b5.tar.zst freebsd-ports-gnome-e2a0aafa98221e414ae0999d97199d609a96a0b5.zip | |
Convert to OptionsNG
Reviewed by: kwm, jgh
Approved by: bapt
Diffstat (limited to 'math/alt-ergo')
0 files changed, 0 insertions, 0 deletions