diff options
| author | Max Brazhnikov <makc@FreeBSD.org> | 2012-04-19 22:35:36 +0000 |
|---|---|---|
| committer | Max Brazhnikov <makc@FreeBSD.org> | 2012-04-19 22:35:36 +0000 |
| commit | 159c5f868149665a5c15f908a680f12346f93368 (patch) | |
| tree | 4ce73d4955441e7d74b6ff2218a02bf47414d9aa /math/proofgeneral | |
| parent | - Install plasma_saver.ko under /boot/modules and remove pkg-message. (diff) | |
Don't install *.orig files to unbreak build on pointyhat [1]
Use INSTALL_LIB to install library
Reported by: pav [1]
Notes
Notes:
svn path=/head/; revision=295131
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions