5 lines
76 B
Coq
5 lines
76 B
Coq
|
LIBPOSTPROC_$MAJOR {
|
||
|
global: postproc_*; pp_*;
|
||
|
local: *;
|
||
|
};
|