5 lines
76 B
Coq
Raw Normal View History

LIBPOSTPROC_$MAJOR {
global: postproc_*; pp_*;
local: *;
};