diff options
| author | Steve Wills <swills@FreeBSD.org> | 2012-09-04 16:43:52 +0000 |
|---|---|---|
| committer | Steve Wills <swills@FreeBSD.org> | 2012-09-04 16:43:52 +0000 |
| commit | aa36568c35d0588cfd941bd8c814276ac2222778 (patch) | |
| tree | acc78d4d45beda8c5af7bb10e115129b7be7545c /math/proofgeneral | |
| parent | - Update to 3.4 (diff) | |
- Convert to OptionsNG
PR: ports/171327
Submitted by: Masaki TAGAWA <masaki@club.kyutech.ac.jp> (maintainer)
Notes
Notes:
svn path=/head/; revision=303663
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions