diff options
| author | Paul Smith <psmith@gnu.org> | 2013-05-14 22:53:42 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2013-05-14 22:53:42 -0400 |
| commit | b7041cbb385e9a35a6ba2da69bf9cffbce678eee (patch) | |
| tree | 07578812e5d846bc943a114db1c3f37a99079982 /makeint.h | |
| parent | 437d162d3f4a7f1aa0609c5a515f4bd3c40d2a2f (diff) | |
| download | make-b7041cbb385e9a35a6ba2da69bf9cffbce678eee.tar.gz | |
Add requirement for plugin_is_GPL_compatible symbol in loaded objects.
Diffstat (limited to 'makeint.h')
0 files changed, 0 insertions, 0 deletions