diff options
| author | Mikhail Teterin <mi@FreeBSD.org> | 2010-12-10 17:19:50 +0000 |
|---|---|---|
| committer | Mikhail Teterin <mi@FreeBSD.org> | 2010-12-10 17:19:50 +0000 |
| commit | a0fe29d3ca9c0b7488c686a0544292a2c793e367 (patch) | |
| tree | b6d224914604c136fb942bb5fdc698e31b25983c /math/coq/files | |
| parent | Upgrade to version 1.530 (with status-1.530-1). (diff) | |
Change pre-install to pre-install-su to allow non-root to perform
installation.
Notes
Notes:
svn path=/head/; revision=265994
Diffstat (limited to 'math/coq/files')
0 files changed, 0 insertions, 0 deletions